| 2006 | Conditions for determinantal formula for resultant of a polynomial system. | Arthur D. Chtcherba, Deepak Kapur |
| 2006 | On computing polynomial GCDs in alternate bases. | Howard Cheng, George Labahn |
| 2006 | Application of high-precision computing for pricing arithmetic asian options. | Phelim Boyle, Alex Potapchik |
| 2006 | Low complexity algorithms for linear recurrences. | Alin Bostan, Frdric Chyzak, Bruno Salvy, Thomas Cluzeau |
| 2006 | Symbolic computation of multidimensional Fenchel conjugates. | Jonathan M. Borwein, Chris H. Hamilton |
| 2006 | CoCoA: a system for computations in commutative algebra. | Anna Maria Bigatti, Lorenzo Robbiano |
| 2006 | On the summation of P-recursive sequences. | Sergei A. Abramov |
| 2006 | Implementation of Kumar's correspondence. | Hirotachi Abo, Chris Peterson |
| 2005 | Admissible orderings and finiteness criteria for differential standard bases. | Aleksey Zobnin |
| 2005 | An open problem on metric invariants of tetrahedra. | Lu Yang, Zhenbing Zeng |
| 2005 | Deterministic equation solving over finite fields. | Christiaan E. van de Woestijne |
| 2005 | On a finite kernel theorem for polynomial-type optimization problems and some of its applications. | Wu Wen-Tsn |
| 2005 | Stability analysis of biological systems with real solution classification. | Dongming Wang, Bican Xia |
| 2005 | Preconditioners for singular black box matrices. | William J. Turner |
| 2005 | Generalized laplace transformations and integration of hyperbolic systems of linear partial differential equations. | Sergey P. Tsarev |
| 2005 | Approximation of dynamical systems using s-systems theory: application to biological systems. | Laurent Tournier |
| 2005 | Computing the rank and a small nullspace basis of a polynomial matrix. | Arne Storjohann, Gilles Villard |
| 2005 | Multivariate power series multiplication. | ric Schost |
| 2005 | Finding telescopers with minimal depth for indefinite nested sum and product expressions. | Carsten Schneider |
| 2005 | D-finiteness: algorithms and applications. | Bruno Salvy |
| 2005 | Algorithms for symbolic/numeric control of affine dynamical systems. | Aude Rondepierre, Jean-Guillaume Dumas |
| 2005 | Symbolic-numeric completion of differential systems by homotopy continuation. | Greg Reid, Jan Verschelde, Allan D. Wittkopf, Wenyuan Wu |
| 2005 | Partial degree formulae for rational algebraic surfaces. | Sonia Prez-Daz, J. Rafael Sendra |
| 2005 | Domains and expressions: an interface between two approaches to computer algebra. | Cosmin E. Oancea, Stephen M. Watt |
| 2005 | Generalized normal forms and polynomial system solving. | Bernard Mourrain |