| 2001 | Unirational fields of transcendence degree one and functional decomposition. | Jaime Gutierrez, Rosario Rubio San Miguel, David Sevilla |
| 2001 | Symbolic-interval cooperation in constraint programming. | Laurent Granvilliers, ric Monfroy, Frdric Benhamou |
| 2001 | A generalized Graeffe's iteration for evaluating polynomials and rational functions. | Luca Gemignani |
| 2001 | Irreducible trinomials over finite fields. | Joachim von zur Gathen |
| 2001 | Semi-numerical determination of irreducible branches of a reduced space curve. | Andr Galligo, David Rupprecht |
| 2001 | On computer-assisted classification of coupled integrable equations. | Mikhail V. Foursov, Marc Moreno Maza |
| 2001 | Polynomial root finding using iterated Eigenvalue computation. | Steven Fortune |
| 2001 | Computation of the radical of polynomial ideals over fields of arbitrary characteristic. | Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager |
| 2001 | Hybrid computation. | Jean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine |
| 2001 | Modeling inheritance as coercion in a symbolic computation system. | Csar Domnguez, Julio Rubio |
| 2001 | Hybrid sparse resultant matrices for bivariate systems. | Carlos D'Andrea, Ioannis Z. Emiris |
| 2001 | On Liouvillian solutions of linear differential equations of order 4 and 5. | Olivier Cormier |
| 2001 | Towards factoring bivariate approximate polynomials. | Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt |
| 2001 | Scalable parallel coset enumeration using bulk definition. | Gene Cooperman, Victor Grinberg |
| 2001 | Computation of minimal generators of ideals of fat points. | Francesca Cioffi, Ferruccio Orecchia |
| 2001 | Computing all factorizations in ***. | Howard Cheng, George Labahn |
| 2001 | Families of estimable terms. | Massimo Caboara, Lorenzo Robbiano |
| 2001 | Residual resultant over the projective plane and the implicitization problem. | Laurent Bus |
| 2001 | PARDI!. | Franois Boulier, Franois Lemaire, Marc Moreno Maza |
| 2001 | Maple's evaluation process as constraint contextual rewriting. | Alessandro Armando, Clemens Ballarin |
| 2001 | Generic ideals and Moreno-Socas conjucture. | Edith Aguirre, Abdul Salam Jarrah, Reinhard C. Laubenbacher |
| 2001 | On the Barnes function. | Victor Adamchik |
| 2001 | Minimal decomposition of indefinite hypergeometric sums. | Sergei A. Abramov, Marko Petkovsek |
| 2001 | On solutions of linear functional systems. | Sergei A. Abramov, Manuel Bronstein |
| 2000 | Rectangular corner cutting and Sylvester A-resultants. | Ming Zhang, Ronald N. Goldman |