| 1999 | Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems. | C. J. Rust, Gregory J. Reid, Allan D. Wittkopf |
| 1999 | On Sampling Generating Sets of Finite Groups and Product Replacement Algorithm (extended abstract). | Igor Pak, Sergey Bratus |
| 1999 | Diophantine Linear System Solving. | Thom Mulders, Arne Storjohann |
| 1999 | On Multiple Zeros of Systems of Algebraic Equations. | Schuichi Moritsugu, Kazuko Kuriyama |
| 1999 | On Projection in CAD-Based Quantifier Elimination with Equational Constraint. | Scott McCallum |
| 1999 | Formal Solutions of Scalar Singularly-Perturbed Linear Differential Equations. | Y. O. Macutan |
| 1999 | Client-Server Communication Standards for Mathematical Computation. | Ha Q. Le, Chris Howlett |
| 1999 | Specifying Implementations. | Laureano Lambn, Vico Pascual, Julio Rubio |
| 1999 | How Fast Can We Compute Products? | V. Kislenkov, V. Mitrofanov, Eugene V. Zima |
| 1999 | On the Genericity of the Modular Polynomial GCD Algorithm. | Erich L. Kaltofen, Michael B. Monagan |
| 1999 | A Reduction Algorithm for Matrices Depending on a Parameter. | Claude-Pierre Jeannerod, Eckhard Pflgel |
| 1999 | Efficient Algorithms for Computing the Nearest Polynomial with a Real Root and Related Problems. | Markus A. Hitz, Erich L. Kaltofen, Yagati N. Lakshman |
| 1999 | Constructing Bases of Finitely Presented Lie Algebras Using Grbner Bases in Free Algebras. | Willem A. de Graaf, J. Wisliceny |
| 1999 | Solving Some Overdetermined Polynomial Systems. | Marc Giusti, ric Schost |
| 1999 | Computing Special Powers in Finite Fields (extended abstract). | Joachim von zur Gathen, Michael Ncker |
| 1999 | A New Algorithm for the Geometric Decomposition of a Variety. | Mohamed Elkadi, Bernard Mourrain |
| 1999 | Automated Coercion for Axiom. | Nicolas J. Doye |
| 1999 | P-adic Constraint Solving. | Andreas Dolzmann, Thomas Sturm |
| 1999 | Approximate polynomial decomposition. | Robert M. Corless, Mark Giesbrecht, David J. Jeffrey, Stephen M. Watt |
| 1999 | Rational Normal Form for Dynamical Systems by Carleman Linearization. | Guoting Chen, Jean Della Dora |
| 1999 | Efficient Construction of Drinfel'd Doubles. | Gerard P. Brunick, Edward L. Green, Lenwood S. Heath, Craig A. Struble |
| 1999 | Guaranteed Solution Formula Construction. | Christopher W. Brown |
| 1999 | Solving Linear Ordinary Differential Equations over C(x, e | Manuel Bronstein, Anne Fredet |
| 1999 | About the Polynomial Solutions of Homogeneous Linear Differential Equations Depending on Parameters. | Delphine Boucher |
| 1999 | Symbolic Computation in Java: An Appraisement. | Laurent Bernardin, Bruce W. Char, Erich L. Kaltofen |