| 2010 | Symbolic methods for solving systems of linear ordinary differential equations. | Moulay A. Barkatou |
| 2010 | Randomized NP-completeness for | Martin E. Avendano, Ashraf Ibrahim, J. Maurice Rojas, Korben Rusek |
| 2010 | On some decidable and undecidable problems related to q-difference equations with parameters. | Sergei A. Abramov |
| 2009 | Efficient computation of order bases. | Wei Zhou, George Labahn |
| 2009 | The approximate irreducible factorization of a univariate polynomial: revisited. | Zhonggang Zeng |
| 2009 | Exact numerical computation in algebra and geometry. | Chee-Keng Yap |
| 2009 | An iterative method for calculating approximate GCD of univariate polynomials. | Akira Terui |
| 2009 | Real root isolation for tame elementary functions. | Adam W. Strzebonski |
| 2009 | Integer matrix rank certification. | Arne Storjohann |
| 2009 | Computing with abstract matrix structures. | Alan P. Sexton, Volker Sorge, Stephen M. Watt |
| 2009 | Describing convex semialgebraic sets by linear matrix inequalities. | Markus Schweighofer |
| 2009 | Large matrix, small rank. | B. David Saunders, Bryan S. Youse |
| 2009 | Computation of inverses in residue class rings of parametric polynomial ideals. | Yosuke Sato, Akira Suzuki |
| 2009 | Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP. | Ana Romero, Graham Ellis, Julio Rubio |
| 2009 | Space- and time-efficient polynomial multiplication. | Daniel S. Roche |
| 2009 | A skew polynomial approach to integro-differential operators. | Georg Regensburger, Markus Rosenkranz, Johannes Middeke |
| 2009 | Automatic synthesis of high performance mathematical programs. | Markus Pschel |
| 2009 | Computation schemes for splitting fields of polynomials. | Sbastien Orange, Gunal Renault, Kazuhiro Yokoyama |
| 2009 | H-LLL: using householder inside LLL. | Ivan Morel, Damien Stehl, Gilles Villard |
| 2009 | Parallel sparse polynomial multiplication using heaps. | Michael B. Monagan, Roman Pearce |
| 2009 | Solutions of polynomial systems derived from the steady cavity flow problem. | Martin Mevissen, Kosuke Yokoyama, Nobuki Takayama |
| 2009 | Isolating real roots of real polynomials. | Kurt Mehlhorn, Michael Sagraloff |
| 2009 | On delineability of varieties in CAD-based quantifier elimination with two equational constraints. | Scott McCallum, Christopher W. Brown |
| 2009 | Computations modulo regular chains. | Xin Li, Marc Moreno Maza, Wei Pan |
| 2009 | Biased tadpoles: a fast algorithm for centralizers in large matrix groups. | Daniel Kunkle, Gene Cooperman |