| 2001 | A generalized Graeffe's iteration for evaluating polynomials and rational functions. Luca Gemignani |
| 2001 | A linear space algorithm for computing the herite normal form. Daniele Micciancio, Bogdan Warinschi |
| 2001 | A multivariate Weierstrass iterative rootfinder. Olivier Ruatta |
| 2001 | A probabilistic algorithm to test local algebraic observability in polynomial time. Alexandre Sedoglavic |
| 2001 | Algorithms for trigonometric polynomials. Jamie Mulholland, Michael B. Monagan |
| 2001 | Approximate multivariate polynomial factorization based on zero-sum relations. Tateaki Sasaki |
| 2001 | Black box methods for least squares problems. B. David Saunders |
| 2001 | Computation of minimal generators of ideals of fat points. Francesca Cioffi, Ferruccio Orecchia |
| 2001 | Computation of the degree of rational maps between curves. J. Rafael Sendra, Franz Winkler |
| 2001 | Computation of the radical of polynomial ideals over fields of arbitrary characteristic. Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager |
| 2001 | Computing all factorizations in ***. Howard Cheng, George Labahn |
| 2001 | Diagnosing and correcting student's misconceptions in an educational computer algebra system. Neven Jurkovic |
| 2001 | Dimensional analysis in computer algebra. Raya Khanin |
| 2001 | Discrete comprehensive Gröbner bases. Yosuke Sato, Akira Suzuki |
| 2001 | Families of estimable terms. Massimo Caboara, Lorenzo Robbiano |
| 2001 | Fast computation of linear generators for matrix sequences and application to the block Wiedemann algorithm. Emmanuel Thomé |
| 2001 | Generic ideals and Moreno-Socías conjucture. Edith Aguirre, Abdul Salam Jarrah, Reinhard C. Laubenbacher |
| 2001 | Hybrid computation. Jean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine |
| 2001 | Hybrid sparse resultant matrices for bivariate systems. Carlos D'Andrea, Ioannis Z. Emiris |
| 2001 | Hybrid system for multi-language and multi-environment generation of numerical codes. Joze Korelc |
| 2001 | IAMC architecture and prototyping: a progress report. Paul S. Wang, Simon Gray, Norbert Kajler, Dongdai Lin, Weidong Liao, Xiao Zou |
| 2001 | Irreducible trinomials over finite fields. Joachim von zur Gathen |
| 2001 | Maple's evaluation process as constraint contextual rewriting. Alessandro Armando, Clemens Ballarin |
| 2001 | Minimal decomposition of indefinite hypergeometric sums. Sergei A. Abramov, Marko Petkovsek |
| 2001 | Modeling inheritance as coercion in a symbolic computation system. César Domínguez, Julio Rubio |
| 2001 | New complexity bounds for cylindrical decompositions of sub-pfaffian sets. Savvas Pericleous, Nicolai N. Vorobjov Jr. |
| 2001 | On Liouvillian solutions of linear differential equations of order 4 and 5. Olivier Cormier |
| 2001 | On a parallel Lehmer-Euclid GCD algorithm. Sidi Mohamed Sedjelmaci |
| 2001 | On computational properties of chains of recurrences. Eugene V. Zima |
| 2001 | On computer-assisted classification of coupled integrable equations. Mikhail V. Foursov, Marc Moreno Maza |
| 2001 | On propagation of equational constraints in CAD-based quantifier elimination. Scott McCallum |
| 2001 | On solutions of linear functional systems. Sergei A. Abramov, Manuel Bronstein |
| 2001 | On the Barnes function. Victor Adamchik |
| 2001 | PARDI!. François Boulier, François Lemaire, Marc Moreno Maza |
| 2001 | Polynomial root finding using iterated Eigenvalue computation. Steven Fortune |
| 2001 | Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA & University of Western Ontario, London, Ontario, Canada, July 22-25, 2001 Erich L. Kaltofen, Gilles Villard |
| 2001 | Remarks on Gröbner basis for ideals under composition. Mingsheng Wang, Zhuojun Liu |
| 2001 | Residual resultant over the projective plane and the implicitization problem. Laurent Busé |
| 2001 | Scalable parallel coset enumeration using bulk definition. Gene Cooperman, Victor Grinberg |
| 2001 | Semi-numerical determination of irreducible branches of a reduced space curve. André Galligo, David Rupprecht |
| 2001 | Solvability by radicals from an algorithmic point of view. Guillaume Hanrot, François Morain |
| 2001 | Strongly-local reductions and the complexity/efficient approximability of algebra and optimization on abstract algebraic structures. Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns |
| 2001 | Symbolic-interval cooperation in constraint programming. Laurent Granvilliers, Éric Monfroy, Frédéric Benhamou |
| 2001 | The membership problem for ideals of binomial skew polynomial rings. Jinwang Liu, Zhuojun Liu, Xiaoqi Liu, Mingsheng Wang |
| 2001 | Towards approximations which preserve integrals. Elizabeth L. Mansfield, Peter E. Hydon |
| 2001 | Towards factoring bivariate approximate polynomials. Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt |
| 2001 | Unirational fields of transcendence degree one and functional decomposition. Jaime Gutierrez, Rosario Rubio San Miguel, David Sevilla |
| 2001 | Univariate polynomials: nearly optimal algorithms for factorization and rootfinding. Victor Y. Pan |