| 2000 | A method for deciding whether the Galois group is abelian. | Pilar Fernandez-Ferreiros, Maria de los Angeles Gomez-Molleda |
| 2000 | Black box Frobenius decompositions over small fields. | Wayne Eberly |
| 2000 | Integer Smith form via the valence: experience with large sparse matrices from homology. | Jean-Guillaume Dumas, B. David Saunders, Gilles Villard |
| 2000 | Local quantifier elimination. | Andreas Dolzmann, Volker Weispfenning |
| 2000 | Solving polynomial systems: a complexity theory viewpoint. | Felipe Cucker |
| 2000 | Computing the Galois group of a polynomial using linear differential equations. | Olivier Cormier, Michael F. Singer, Felix Ulmer |
| 2000 | Multiprecision floating point addition. | George E. Collins, Werner Krandick |
| 2000 | Conditions for exact resultants using the Dixon formulation. | Arthur D. Chtcherba, Deepak Kapur |
| 2000 | On accelerated methods to evaluate sums of products of rational numbers. | Howard Cheng, Eugene V. Zima |
| 2000 | Improved projection for CAD's of R | Christopher W. Brown |
| 2000 | Computing canonical representatives of regular differential ideals. | Franois Boulier, Franois Lemaire |
| 2000 | An improved algorithm for the resolution of singularities. | Gbor Bodnr, Josef Schicho |
| 2000 | Algorithms for near-rings of non-linear transformations. | Franz Binder, Erhard Aichinger, Jrgen Ecker, Christof Nbauer, Peter Mayr |
| 2000 | Representing and handling mathematical concepts by humans and machines. | Henk Barendregt, Arjeh M. Cohen |
| 2000 | Deciding linear-trigonometric problems. | Hirokazu Anai, Volker Weispfenning |
| 2000 | Hypergeometric dispersion and the orbit problem. | Sergei A. Abramov, Manuel Bronstein |
| 2000 | Factorization in ***[ | John Abbott, Victor Shoup, Paul Zimmermann |
| 1999 | On Feasible Multivariate Polynomial Interpolations over Arbitrary Fields. | Zeljko Zilic, Katarzyna Radecka |
| 1999 | Mixed Real-Integer Linear Quantifier Elimination. | Volker Weispfenning |
| 1999 | Commutativity Theorems: Examples in Search of Algorithms. | John J. Wavrik |
| 1999 | Design and Protocol for Internet Accessible Mathematical Computation. | Paul S. Wang |
| 1999 | ADrien: An Implementation of Automatic Differentiation in Maple. | Dominique Villard, Michael B. Monagan |
| 1999 | On Factorization of Nonlinear Ordinary Differential Equations. | Serguei P. Tsarev |
| 1999 | Efficient Computation of Minimal Polynomials in Algebraic Extensions of Finite Fields. | Victor Shoup |
| 1999 | Star Products and the Representation of Asymptotic Growth. | John Shackell |