| 2004 | A poly-algorithmic approach to simplifying elementary functions. James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut |
| 2004 | Absolute polynomial factorization in two variables and the knapsack problem. Guillaume Chèze |
| 2004 | Algorithms for polynomial GCD computation over algebraic function fields. Mark van Hoeij, Michael B. Monagan |
| 2004 | Algorithms for recognizing coordinates in two variables over UFD's. Hassan El Houari, M'hammed El Kahoui |
| 2004 | Approximate factorization of multivariate polynomials via differential equations. Shuhong Gao, Erich L. Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi |
| 2004 | Automatic generation of polynomial loop. Enric Rodríguez-Carbonell, Deepak Kapur |
| 2004 | Closed form solutions of linear odes having elliptic function coefficients. Reinhold Burger, George Labahn, Mark van Hoeij |
| 2004 | Complexity issues in bivariate polynomial factorization. Alin Bostan, Grégoire Lecerf, Bruno Salvy, Éric Schost, B. Wiebelt |
| 2004 | Computer proofs for polynomial identities in arbitrary many variables. Manuel Kauers |
| 2004 | Computing irredundant irreducible decompositions of large scale monomial ideals. R. Alexander Milowski |
| 2004 | Decomposition of differential polynomials with constant coefficients. Xiao-Shan Gao, Mingbo Zhang |
| 2004 | Differential rational normal forms and a reduction algorithm for hyperexponential func. Keith O. Geddes, Ha Q. Le, Ziming Li |
| 2004 | Efficient desingularization of reducible algebraic sets. Gábor Bodnár |
| 2004 | Efficient projection orders for CAD. Andreas Dolzmann, Andreas Seidl, Thomas Sturm |
| 2004 | Extracting mathematical expressions from postscript documents. Michael Yang, Richard J. Fateman |
| 2004 | FFPACK: finite field linear algebra package. Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet |
| 2004 | Factoring polynomials via polytopes. Fatima Abu Salem, Shuhong Gao, Alan G. B. Lauder |
| 2004 | Finding the smallest image of a set. Steve Linton |
| 2004 | From hypercircles to units. Tomás Recio, J. Rafael Sendra, Carlos Villarino |
| 2004 | Hyperexponential solutions of finite-rank ideals in orthogonal ore rings. George Labahn, Ziming Li |
| 2004 | Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases. Evelyne Hubert |
| 2004 | Inversion of parameterized hypersurfaces by means of subresultants. Laurent Busé, Carlos D'Andrea |
| 2004 | Maximal quotient rational reconstruction: an almost optimal algorithm for rational reconstruction. Michael B. Monagan |
| 2004 | Non-liouvillian solutions for second order Linear ODEs. L. Chan, Edgardo S. Cheb-Terrab |
| 2004 | Numerical algebraic geometry and symbolic computation. Jan Verschelde |
| 2004 | Numerical parameterization of affine varieties using. Dhavide A. Aruliah, Robert M. Corless |
| 2004 | On reducing a system of equations to a single equation. Gudmund Skovbjerg Frandsen, Igor E. Shparlinski |
| 2004 | On systems of algebraic equations with parametric exponents. Kazuhiro Yokoyama |
| 2004 | Optimal descriptions of orbit spaces and strata of finite groups. Thomas Bayer |
| 2004 | Parametrized surfaces in huge P Mohamed Elkadi, André Galligo, Thi Ha Lê |
| 2004 | Rational general solutions of algebraic ordinary differential equations. Ruyong Feng, Xiao-Shan Gao |
| 2004 | Reliable Krylov-based algorithms for matrix null space and rank. Wayne Eberly |
| 2004 | Sharp estimates for triangular sets. Xavier Dahan, Éric Schost |
| 2004 | Smith normal form of dense integer matrices fast algorithms into practice. David Saunders, Zhendong Wan |
| 2004 | Sums of squares of polynomials and their applications. Pablo A. Parrilo |
| 2004 | Support hull: relating the cayley-dixon resultant constructions to the support of a polynomial system. Arthur D. Chtcherba, Deepak Kapur |
| 2004 | Sylvester-resultants for bivariate polynomials with planar newton polygons. Amit Khetan, Ning Song, Ron Goldman |
| 2004 | Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings Jaime Gutierrez |
| 2004 | Symbolic computation in the homogeneous geometric model with clifford algebra. Hongbo Li |
| 2004 | Symbolic summation with single-nested sum extensions. Carsten Schneider |
| 2004 | The approximate GCD of inexact polynomials. Zhonggang Zeng, Barry H. Dayton |
| 2004 | The characteristic ideal of a finite, connected, regular graph. Josep M. Brunat, Antonio Montes |
| 2004 | The polytope of non-crossing graphs on a planar point set. David Orden, Francisco Santos |
| 2004 | The truncated fourier transform and applications. Joris van der Hoeven |
| 2004 | Toric ideals of homogeneous phylogenetic models. Nicholas Eriksson |
| 2004 | Triangulations of polytopes and algebraic geometry. Francisco Santos |
| 2004 | Understanding expression simplification. Jacques Carette |