| 2000 | Proper parametrization of surfaces with a rational pencil. | Josef Schicho |
| 2000 | How to check if a finitely generated commutative monoid is a principal ideal commutative monoid. | Jos Carlos Rosales, Pedro A. Garca-Snchez, Juan Ignacio Garca-Garca |
| 2000 | Solving systems of linear one-sided equations in integer monoid and group rings. | Birgit Reinert |
| 2000 | Determination of maximal symmetry groups of classes of differential equations. | Gregory J. Reid, Allan D. Wittkopf |
| 2000 | Matrix structure, polynomial arithmetic, and erasure-resilient encoding/decoding. | Victor Y. Pan |
| 2000 | Further evaluation of Java for symbolic computation. | Arthur C. Norman |
| 2000 | Some remarks on parallel exponentiation (extended abstract). | Michael Ncker |
| 2000 | Rational solutions of singular linear systems. | Thom Mulders, Arne Storjohann |
| 2000 | Solving projective complete intersection faster. | Bernard Mourrain, Philippe Trebuchet |
| 2000 | On the design and implementation of Brown's algorithm over the integers and number fields. | Michael B. Monagan, Allan D. Wittkopf |
| 2000 | Computing normalizers of permutation groups efficiently using isomorphisms of association schemes. | Izumi Miyamoto |
| 2000 | Metric invariants of tetrahedra via polynomial elimination. | Petr Lisonek, Robert B. Israel |
| 2000 | Computing an equidimensional decomposition of an algebraic variety by means of geometric resolutions. | Grgoire Lecerf |
| 2000 | Symbolic parametrization of pipe and canal surfaces. | Gnter Landsmann, Josef Schicho, Franz Winkler, Erik Hillgarter |
| 2000 | Early termination in Ben-Or/Tiwari sparse interpolation and a hybrid of Zippel's algorithm. | Erich L. Kaltofen, Wen-shin Lee, Austin Lobo |
| 2000 | An algorithm for the eigenvalue perturbation problem: reduction of a -matrix to a Lidskii matrix. | Claude-Pierre Jeannerod |
| 2000 | Fast randomized algorithms for the structure of matrix algebras over finite fields (extended abstract). | Gbor Ivanyos |
| 2000 | An exact real algebraic arithmetic with equality determination. | Namhyun Hur, James H. Davenport |
| 2000 | Pseudofactors of multivariate polynomials. | Yuzhen Huang, Wenda Wu, Hans J. Stetter, Lihong Zhi |
| 2000 | Computation in word-hyperbolic groups. | Derek F. Holt |
| 2000 | Advanced notations in | Jason F. Harris |
| 2000 | Fast practical algorithms for the Boolean-product-witness-matrix problem. | Anshul Gupta, Pankaj Rohatgi, Ramesh C. Agarwal |
| 2000 | Bounds on numers of vectors of multiplicities for polynomials which are easy to compute. | Dima Grigoriev, Nicolai N. Vorobjov Jr. |
| 2000 | Constructing endomorphism rings via duals. | Edward L. Green, Lenwood S. Heath, Craig A. Struble |
| 2000 | Linear differential equations, iterative logarithms and orderings on monomial differential extensions. | Anne Fredet |