| 2000 | A method for deciding whether the Galois group is abelian. Pilar Fernandez-Ferreiros, Maria de los Angeles Gomez-Molleda |
| 2000 | Advanced notations in Jason F. Harris |
| 2000 | Algorithms for near-rings of non-linear transformations. Franz Binder, Erhard Aichinger, Jürgen Ecker, Christof Nöbauer, Peter Mayr |
| 2000 | An algorithm for the eigenvalue perturbation problem: reduction of a -matrix to a Lidskii matrix. Claude-Pierre Jeannerod |
| 2000 | An exact real algebraic arithmetic with equality determination. Namhyun Hur, James H. Davenport |
| 2000 | An improved algorithm for the resolution of singularities. Gábor Bodnár, Josef Schicho |
| 2000 | Black box Frobenius decompositions over small fields. Wayne Eberly |
| 2000 | Bounds on numers of vectors of multiplicities for polynomials which are easy to compute. Dima Grigoriev, Nicolai N. Vorobjov Jr. |
| 2000 | Computation in word-hyperbolic groups. Derek F. Holt |
| 2000 | Computing an equidimensional decomposition of an algebraic variety by means of geometric resolutions. Grégoire Lecerf |
| 2000 | Computing canonical representatives of regular differential ideals. François Boulier, François Lemaire |
| 2000 | Computing normalizers of permutation groups efficiently using isomorphisms of association schemes. Izumi Miyamoto |
| 2000 | Computing the Galois group of a polynomial using linear differential equations. Olivier Cormier, Michael F. Singer, Felix Ulmer |
| 2000 | Conditions for exact resultants using the Dixon formulation. Arthur D. Chtcherba, Deepak Kapur |
| 2000 | Constructing endomorphism rings via duals. Edward L. Green, Lenwood S. Heath, Craig A. Struble |
| 2000 | Deciding linear-trigonometric problems. Hirokazu Anai, Volker Weispfenning |
| 2000 | Determination of maximal symmetry groups of classes of differential equations. Gregory J. Reid, Allan D. Wittkopf |
| 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 | Factorization in ***[ John Abbott, Victor Shoup, Paul Zimmermann |
| 2000 | Fast practical algorithms for the Boolean-product-witness-matrix problem. Anshul Gupta, Pankaj Rohatgi, Ramesh C. Agarwal |
| 2000 | Fast randomized algorithms for the structure of matrix algebras over finite fields (extended abstract). Gábor Ivanyos |
| 2000 | Further evaluation of Java for symbolic computation. Arthur C. Norman |
| 2000 | How to check if a finitely generated commutative monoid is a principal ideal commutative monoid. José Carlos Rosales, Pedro A. García-Sánchez, Juan Ignacio García-García |
| 2000 | Hypergeometric dispersion and the orbit problem. Sergei A. Abramov, Manuel Bronstein |
| 2000 | Improved projection for CAD's of R Christopher W. Brown |
| 2000 | Integer Smith form via the valence: experience with large sparse matrices from homology. Jean-Guillaume Dumas, B. David Saunders, Gilles Villard |
| 2000 | Linear differential equations, iterative logarithms and orderings on monomial differential extensions. Anne Fredet |
| 2000 | Local quantifier elimination. Andreas Dolzmann, Volker Weispfenning |
| 2000 | Matrix structure, polynomial arithmetic, and erasure-resilient encoding/decoding. Victor Y. Pan |
| 2000 | Metric invariants of tetrahedra via polynomial elimination. Petr Lisonek, Robert B. Israel |
| 2000 | Multiprecision floating point addition. George E. Collins, Werner Krandick |
| 2000 | On accelerated methods to evaluate sums of products of rational numbers. Howard Cheng, Eugene V. Zima |
| 2000 | On the design and implementation of Brown's algorithm over the integers and number fields. Michael B. Monagan, Allan D. Wittkopf |
| 2000 | Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, ISSAC 2000, St. Andrews, United Kingdom, August 6-10, 2000 Carlo Traverso |
| 2000 | Proper parametrization of surfaces with a rational pencil. Josef Schicho |
| 2000 | Pseudofactors of multivariate polynomials. Yuzhen Huang, Wenda Wu, Hans J. Stetter, Lihong Zhi |
| 2000 | Rational solutions of singular linear systems. Thom Mulders, Arne Storjohann |
| 2000 | Rectangular corner cutting and Sylvester A-resultants. Ming Zhang, Ronald N. Goldman |
| 2000 | Representing and handling mathematical concepts by humans and machines. Henk Barendregt, Arjeh M. Cohen |
| 2000 | Solving polynomial systems: a complexity theory viewpoint. Felipe Cucker |
| 2000 | Solving projective complete intersection faster. Bernard Mourrain, Philippe Trebuchet |
| 2000 | Solving systems of linear one-sided equations in integer monoid and group rings. Birgit Reinert |
| 2000 | Some remarks on parallel exponentiation (extended abstract). Michael Nöcker |
| 2000 | Symbolic parametrization of pipe and canal surfaces. Günter Landsmann, Josef Schicho, Franz Winkler, Erik Hillgarter |