| 2003 | A complete symbolic-numeric linear method for camera pose determination. Gregory J. Reid, Jianliang Tang, Lihong Zhi |
| 2003 | A computer algebra approach to biological systems. Reinhard C. Laubenbacher |
| 2003 | A generic projection operator for partial cylindrical algebraic decomposition. Andreas Seidl, Thomas Sturm |
| 2003 | A method computing multiple roots of inexact polynomials. Zhonggang Zeng |
| 2003 | A note on the hermite basis computation of large integer matrices. Ulrich Vollmer |
| 2003 | An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra. Frederick W. Chapman |
| 2003 | Better simplification of elementary functions through power series. James C. Beaumont, Russell J. Bradford, James H. Davenport |
| 2003 | Changing the ordering of Gröbner bases with LLL: case of two variables. Abdolali Basiri, Jean-Charles Faugère |
| 2003 | Chemistry and computer algebra: past, present, future. Michael P. Barnett |
| 2003 | Computing power series solutions of a nonlinear PDE system. Evelyne Hubert, Nicolas Le Roux |
| 2003 | Converting call-by-reference to call-by-value: Fortran and Lisp coexisting. Richard J. Fateman, Raymond Toy |
| 2003 | Determining the automorphism group of a hyperelliptic curve. Tanush Shaska |
| 2003 | ESF: an automatically generated encyclopedia of special functions. Ludovic Meunier, Bruno Salvy |
| 2003 | Early termination over small fields. Wayne Eberly |
| 2003 | Elimination theory for differential difference polynomials. Elizabeth L. Mansfield, Ágnes Szántó |
| 2003 | Exploiting fast hardware floating point in high precision computation. Keith O. Geddes, Wei Wei Zheng |
| 2003 | Factoring sparse resultants of linearly combined polynomials. Manfred Minimair |
| 2003 | Factorization of differential systems in characteristic Thomas Cluzeau |
| 2003 | Factorization of linear differential operators in exponential extensions. Anne Fredet |
| 2003 | Fourth order linear differential equations with imprimitive group. Delphine Boucher, Philippe Gaillard, Felix Ulmer |
| 2003 | High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense. Richard J. Fateman |
| 2003 | Memory-based and disk-based algorithms for very high degree permutation groups. Gene Cooperman, Eric Robinson |
| 2003 | On approximate irreducibility of polynomials in several variables. Erich L. Kaltofen, John P. May |
| 2003 | On order-invariance of a binomial over a nullifying cell. Scott McCallum |
| 2003 | On the complexity of polynomial matrix computations. Pascal Giorgi, Claude-Pierre Jeannerod, Gilles Villard |
| 2003 | Plural: a computer algebra system for noncommutative polynomial algebras. Viktor Levandovskyy, Hans Schönemann |
| 2003 | Polar varieties and computation of one point in each connected component of a smooth real algebraic set. Mohab Safey El Din, Éric Schost |
| 2003 | Polynomial factorization: a success story. Erich L. Kaltofen |
| 2003 | Power series solutions for non-linear PDE's. F. Aroca, J. Cano, Françoise Jung |
| 2003 | Power series, Bieberbach conjecture and the de Branges and Weinstein functions. Wolfram Koepf |
| 2003 | Rational canonical forms and efficient representations of hypergeometric terms. Sergei A. Abramov, Ha Q. Le, Marko Petkovsek |
| 2003 | Relaxed mltiplication using the middle product. Joris van der Hoeven |
| 2003 | Shiftless decomposition and polynomial-time rational summation. Jürgen Gerhard, Mark Giesbrecht, Arne Storjohann, Eugene V. Zima |
| 2003 | Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings J. Rafael Sendra |
| 2003 | Tellegen's principle into practice. Alin Bostan, Grégoire Lecerf, Éric Schost |
| 2003 | The subresultant and clusters of close roots. Tateaki Sasaki |
| 2003 | Total ordering on subgroups and cosets. Alexander Hulpke, Steve Linton |
| 2003 | Using computer algebra to find nash equilibria. Ruchira S. Datta |
| 2003 | WME: towards a web for mathematics education. Paul S. Wang, Norbert Kajler, Yi Zhou, Xiao Zou |