| 2002 | A geometric-numeric algorithm for absolute factorization of multivariate polynomials. Robert M. Corless, André Galligo, Ilias S. Kotsireas, Stephen M. Watt |
| 2002 | A modular GCD algorithm over number fields presented with multiple extensions. Mark van Hoeij, Michael B. Monagan |
| 2002 | A new zero-test for formal power series. Joris van der Hoeven |
| 2002 | A reduced form for perturbed matrix polynomials. Claude-Pierre Jeannerod |
| 2002 | Acceleration of Euclidean algorithm and extensions. Victor Y. Pan, Xinmao Wang |
| 2002 | Algorithms for computing the sparsest shifts of polynomials via the Berlekamp/Massey algorithm. Mark Giesbrecht, Erich L. Kaltofen, Wen-shin Lee |
| 2002 | An alternative approach to comprehensive Gröbner bases. Akira Suzuki, Yosuke Sato |
| 2002 | An output-sensitive variant of the baby steps/giant steps determinant algorithm. Erich L. Kaltofen |
| 2002 | Applicability of Zeilberger's algorithm to hypergeometric terms. Sergei A. Abramov |
| 2002 | Canonical comprehensive Gröbner bases. Volker Weispfenning |
| 2002 | Computation of canonical forms for ternary cubics. Irina A. Kogan, Marc Moreno Maza |
| 2002 | Computing the topology of real algebraic surfaces. Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti, Carlo Traverso |
| 2002 | Degree bounds and lifting techniques for triangular sets. Éric Schost |
| 2002 | Determinantal formula for the chow form of a toric surface. Amit Khetan |
| 2002 | Editing mathematical content and presentation markup in interactive mathematical documents. Samuel S. Dooley |
| 2002 | Factoring zero-dimensional ideals of linear partial differential operators. Ziming Li, Fritz Schwarz, Serguei P. Tsarev |
| 2002 | Finite field linear algebra subroutines. Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet |
| 2002 | Fraction-free row reduction of matrices of skew polynomials. Bernhard Beckermann, Howard Cheng, George Labahn |
| 2002 | High-order lifting. Arne Storjohann |
| 2002 | Multihomogeneous resultant matrices. Alicia Dickenstein, Ioannis Z. Emiris |
| 2002 | Numerical stability and stabilization of Groebner basis computation. Carlo Traverso, Alberto Zanoni |
| 2002 | On the efficiency and optimality of Dixon-based resultant methods. Arthur D. Chtcherba, Deepak Kapur |
| 2002 | Partial solvability by radicals. Pilar Fernandez-Ferreiros, Maria de los Angeles Gomez-Molleda, Laureano González-Vega |
| 2002 | Polynomial-time normalizers for permutation groups with restricted composition factors. Eugene M. Luks, Takunari Miyazaki |
| 2002 | Simplification of definite sums of rational functions by creative symmetrizing method. Ha Q. Le |
| 2002 | Simplification of surface parametrizations. Josef Schicho |
| 2002 | Solutions of linear ordinary differential equations in terms of special functions. Manuel Bronstein, Sébastien Lafaille |
| 2002 | Some observations on familiar numbers. Daniel Richardson, Simon Langley |
| 2002 | Sparsity issues in the computation of Jacobian matrices. Shahadat Hossain, Trond Steihaug |
| 2002 | Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings Teo Mora |
| 2002 | The differential Hilbert function of a differential rational mapping can be computed in polynomial time. Guillermo Matera, Alexandre Sedoglavic |
| 2002 | Towards better simplification of elementary functions. Russell J. Bradford, James H. Davenport |
| 2002 | Towards certified irreducibility testing of bivariate approximate polynomials. Kosaku Nagasaka |
| 2002 | Towards faster real algebraic numbers. Renaud Rioboo |
| 2002 | Yet another practical implementation of polynomial factorization over finite fields. Masayuki Noro, Kazuhiro Yokoyama |