| 2003 | Shiftless decomposition and polynomial-time rational summation. | Jrgen Gerhard, Mark Giesbrecht, Arne Storjohann, Eugene V. Zima |
| 2003 | Exploiting fast hardware floating point in high precision computation. | Keith O. Geddes, Wei Wei Zheng |
| 2003 | Factorization of linear differential operators in exponential extensions. | Anne Fredet |
| 2003 | Converting call-by-reference to call-by-value: Fortran and Lisp coexisting. | Richard J. Fateman, Raymond Toy |
| 2003 | High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense. | Richard J. Fateman |
| 2003 | Early termination over small fields. | Wayne Eberly |
| 2003 | Polar varieties and computation of one point in each connected component of a smooth real algebraic set. | Mohab Safey El Din, ric Schost |
| 2003 | Using computer algebra to find nash equilibria. | Ruchira S. Datta |
| 2003 | Memory-based and disk-based algorithms for very high degree permutation groups. | Gene Cooperman, Eric Robinson |
| 2003 | Factorization of differential systems in characteristic | Thomas Cluzeau |
| 2003 | An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra. | Frederick W. Chapman |
| 2003 | Fourth order linear differential equations with imprimitive group. | Delphine Boucher, Philippe Gaillard, Felix Ulmer |
| 2003 | Tellegen's principle into practice. | Alin Bostan, Grgoire Lecerf, ric Schost |
| 2003 | Better simplification of elementary functions through power series. | James C. Beaumont, Russell J. Bradford, James H. Davenport |
| 2003 | Changing the ordering of Grbner bases with LLL: case of two variables. | Abdolali Basiri, Jean-Charles Faugre |
| 2003 | Chemistry and computer algebra: past, present, future. | Michael P. Barnett |
| 2003 | Power series solutions for non-linear PDE's. | F. Aroca, J. Cano, Franoise Jung |
| 2003 | Rational canonical forms and efficient representations of hypergeometric terms. | Sergei A. Abramov, Ha Q. Le, Marko Petkovsek |
| 2002 | Canonical comprehensive Grbner bases. | Volker Weispfenning |
| 2002 | Numerical stability and stabilization of Groebner basis computation. | Carlo Traverso, Alberto Zanoni |
| 2002 | An alternative approach to comprehensive Grbner bases. | Akira Suzuki, Yosuke Sato |
| 2002 | High-order lifting. | Arne Storjohann |
| 2002 | Degree bounds and lifting techniques for triangular sets. | ric Schost |
| 2002 | Simplification of surface parametrizations. | Josef Schicho |
| 2002 | Towards faster real algebraic numbers. | Renaud Rioboo |