| 2004 | Hyperexponential solutions of finite-rank ideals in orthogonal ore rings. | George Labahn, Ziming Li |
| 2004 | Sylvester-resultants for bivariate polynomials with planar newton polygons. | Amit Khetan, Ning Song, Ron Goldman |
| 2004 | Computer proofs for polynomial identities in arbitrary many variables. | Manuel Kauers |
| 2004 | Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases. | Evelyne Hubert |
| 2004 | Algorithms for recognizing coordinates in two variables over UFD's. | Hassan El Houari, M'hammed El Kahoui |
| 2004 | The truncated fourier transform and applications. | Joris van der Hoeven |
| 2004 | Algorithms for polynomial GCD computation over algebraic function fields. | Mark van Hoeij, Michael B. Monagan |
| 2004 | Differential rational normal forms and a reduction algorithm for hyperexponential func. | Keith O. Geddes, Ha Q. Le, Ziming Li |
| 2004 | Decomposition of differential polynomials with constant coefficients. | Xiao-Shan Gao, Mingbo Zhang |
| 2004 | Approximate factorization of multivariate polynomials via differential equations. | Shuhong Gao, Erich L. Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi |
| 2004 | On reducing a system of equations to a single equation. | Gudmund Skovbjerg Frandsen, Igor E. Shparlinski |
| 2004 | Rational general solutions of algebraic ordinary differential equations. | Ruyong Feng, Xiao-Shan Gao |
| 2004 | Toric ideals of homogeneous phylogenetic models. | Nicholas Eriksson |
| 2004 | Parametrized surfaces in huge P | Mohamed Elkadi, Andr Galligo, Thi Ha L |
| 2004 | Reliable Krylov-based algorithms for matrix null space and rank. | Wayne Eberly |
| 2004 | FFPACK: finite field linear algebra package. | Jean-Guillaume Dumas, Pascal Giorgi, Clment Pernet |
| 2004 | Efficient projection orders for CAD. | Andreas Dolzmann, Andreas Seidl, Thomas Sturm |
| 2004 | Sharp estimates for triangular sets. | Xavier Dahan, ric Schost |
| 2004 | Support hull: relating the cayley-dixon resultant constructions to the support of a polynomial system. | Arthur D. Chtcherba, Deepak Kapur |
| 2004 | Absolute polynomial factorization in two variables and the knapsack problem. | Guillaume Chze |
| 2004 | Non-liouvillian solutions for second order Linear ODEs. | L. Chan, Edgardo S. Cheb-Terrab |
| 2004 | Understanding expression simplification. | Jacques Carette |
| 2004 | Inversion of parameterized hypersurfaces by means of subresultants. | Laurent Bus, Carlos D'Andrea |
| 2004 | Closed form solutions of linear odes having elliptic function coefficients. | Reinhold Burger, George Labahn, Mark van Hoeij |
| 2004 | The characteristic ideal of a finite, connected, regular graph. | Josep M. Brunat, Antonio Montes |