| 2005 | Picard--Vessiot extensions for linear functional systems. | Manuel Bronstein, Ziming Li, Min Wu |
| 2005 | Symmetric and semisymmetric graphs construction using G-graphs. | Alain Bretto, Luc Gillibert, Bernard Laget |
| 2005 | Non complete integrability of a magnetic satellite in circular orbit. | Delphine Boucher |
| 2005 | Fast algorithms for polynomial solutions of linear differential equations. | Alin Bostan, Thomas Cluzeau, Bruno Salvy |
| 2005 | Adherence is better than adjacency: computing the Riemann index using CAD. | James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut |
| 2005 | Algebraic general solutions of algebraic ordinary differential equations. | J. M. Aroca, J. Cano, Ruyong Feng, Xiao-Shan Gao |
| 2005 | Sum of roots with positive real parts. | Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama |
| 2005 | Signature of symmetric rational matrices and the unitary dual of lie groups. | Jeffrey Adams, B. David Saunders, Zhendong Wan |
| 2005 | Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula. | Sergei A. Abramov, M. Petkovssek |
| 2004 | The approximate GCD of inexact polynomials. | Zhonggang Zeng, Barry H. Dayton |
| 2004 | On systems of algebraic equations with parametric exponents. | Kazuhiro Yokoyama |
| 2004 | Extracting mathematical expressions from postscript documents. | Michael Yang, Richard J. Fateman |
| 2004 | Numerical algebraic geometry and symbolic computation. | Jan Verschelde |
| 2004 | Symbolic summation with single-nested sum extensions. | Carsten Schneider |
| 2004 | Smith normal form of dense integer matrices fast algorithms into practice. | David Saunders, Zhendong Wan |
| 2004 | Triangulations of polytopes and algebraic geometry. | Francisco Santos |
| 2004 | Factoring polynomials via polytopes. | Fatima Abu Salem, Shuhong Gao, Alan G. B. Lauder |
| 2004 | Automatic generation of polynomial loop. | Enric Rodrguez-Carbonell, Deepak Kapur |
| 2004 | From hypercircles to units. | Toms Recio, J. Rafael Sendra, Carlos Villarino |
| 2004 | Sums of squares of polynomials and their applications. | Pablo A. Parrilo |
| 2004 | The polytope of non-crossing graphs on a planar point set. | David Orden, Francisco Santos |
| 2004 | Maximal quotient rational reconstruction: an almost optimal algorithm for rational reconstruction. | Michael B. Monagan |
| 2004 | Computing irredundant irreducible decompositions of large scale monomial ideals. | R. Alexander Milowski |
| 2004 | Finding the smallest image of a set. | Steve Linton |
| 2004 | Symbolic computation in the homogeneous geometric model with clifford algebra. | Hongbo Li |