| 2005 | A BLAS based C library for exact linear algebra on integer matrices. Zhuliang Chen, Arne Storjohann |
| 2005 | A procedure for proving special function inequalities involving a discrete parameter. Stefan Gerhold, Manuel Kauers |
| 2005 | A reliable block Lanczos algorithm over small finite fields. Bradford Hovinen, Wayne Eberly |
| 2005 | A view on the future of symbolic computation. Bruno Buchberger |
| 2005 | Adherence is better than adjacency: computing the Riemann index using CAD. James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut |
| 2005 | Admissible orderings and finiteness criteria for differential standard bases. Aleksey Zobnin |
| 2005 | Affine transformations of algebraic numbers. David J. Jeffrey, Pratibha, K. B. Roach |
| 2005 | Algebraic general solutions of algebraic ordinary differential equations. J. M. Aroca, J. Cano, Ruyong Feng, Xiao-Shan Gao |
| 2005 | Algorithms for symbolic/numeric control of affine dynamical systems. Aude Rondepierre, Jean-Guillaume Dumas |
| 2005 | Algorithms for the non-monic case of the sparse modular GCD algorithm. Jennifer de Kleine, Michael B. Monagan, Allan D. Wittkopf |
| 2005 | An open problem on metric invariants of tetrahedra. Lu Yang, Zhenbing Zeng |
| 2005 | Application of Wu's method to symbolic model checking. Weibo Mao, Jinzhao Wu |
| 2005 | Approximation of dynamical systems using s-systems theory: application to biological systems. Laurent Tournier |
| 2005 | Architecture-aware classical Taylor shift by 1. Jeremy R. Johnson, Werner Krandick, Anatole D. Ruslanov |
| 2005 | Computing the multiplicity structure in solving polynomial systems. Barry H. Dayton, Zhonggang Zeng |
| 2005 | Computing the rank and a small nullspace basis of a polynomial matrix. Arne Storjohann, Gilles Villard |
| 2005 | Computing µ-bases of rational curves and surfaces using polynomial matrix factorization. Jiansong Deng, Falai Chen, Liyong Shen |
| 2005 | D-finiteness: algorithms and applications. Bruno Salvy |
| 2005 | Deterministic equation solving over finite fields. Christiaan E. van de Woestijne |
| 2005 | Domains and expressions: an interface between two approaches to computer algebra. Cosmin E. Oancea, Stephen M. Watt |
| 2005 | Efficient computation of the characteristic polynomial. Jean-Guillaume Dumas, Clément Pernet, Zhendong Wan |
| 2005 | Exact analytical solutions to the nonlinear Schrödinger equation model. Biao Li, Yong Chen, Qi Wang |
| 2005 | Fast algorithms for polynomial solutions of linear differential equations. Alin Bostan, Thomas Cluzeau, Bruno Salvy |
| 2005 | Finding telescopers with minimal depth for indefinite nested sum and product expressions. Carsten Schneider |
| 2005 | Generalized Loewy-decomposition of d-modules. Dima Grigoriev, Fritz Schwarz |
| 2005 | Generalized laplace transformations and integration of hyperbolic systems of linear partial differential equations. Sergey P. Tsarev |
| 2005 | Generalized normal forms and polynomial system solving. Bernard Mourrain |
| 2005 | Generic matrix multiplication and memory management in linBox. Erich L. Kaltofen, Dmitriy Morozov, George Yuhasz |
| 2005 | Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula. Sergei A. Abramov, M. Petkovssek |
| 2005 | Half-GCD and fast rational recovery. Daniel Lichtblau |
| 2005 | Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series. Orlando A. Carvajal, Frederick W. Chapman, Keith O. Geddes |
| 2005 | Lifting techniques for triangular decompositions. Xavier Dahan, Marc Moreno Maza, Éric Schost, Wenyuan Wu, Yuzhen Xie |
| 2005 | Multivariate power series multiplication. Éric Schost |
| 2005 | Non complete integrability of a magnetic satellite in circular orbit. Delphine Boucher |
| 2005 | On a finite kernel theorem for polynomial-type optimization problems and some of its applications. Wu Wen-Tsün |
| 2005 | On computing nearest singular hankel matrices. Markus A. Hitz |
| 2005 | On the complexity of factoring bivariate supersparse (Lacunary) polynomials. Erich L. Kaltofen, Pascal Koiran |
| 2005 | On using bi-equational constraints in CAD construction. Christopher W. Brown, Scott McCallum |
| 2005 | Partial degree formulae for rational algebraic surfaces. Sonia Pérez-Díaz, J. Rafael Sendra |
| 2005 | Picard--Vessiot extensions for linear functional systems. Manuel Bronstein, Ziming Li, Min Wu |
| 2005 | Preconditioners for singular black box matrices. William J. Turner |
| 2005 | Probabilistic algorithms for computing resultants. Michael B. Monagan |
| 2005 | Schur partition for symmetric ternary forms and readable proof to inequalities. Fangjian Huang, Shengli Chen |
| 2005 | Selfintersections of a bézier bicubic surface. André Galligo, Jean Pascal Pavone |
| 2005 | Signature of symmetric rational matrices and the unitary dual of lie groups. Jeffrey Adams, B. David Saunders, Zhendong Wan |
| 2005 | Solving second order linear differential equations with Klein's theorem. Mark van Hoeij, Jacques-Arthur Weil |
| 2005 | Stability analysis of biological systems with real solution classification. Dongming Wang, Bican Xia |
| 2005 | Structure and asymptotic expansion of multiple harmonic sums. Christian Costermans, Jean-Yves Enjalbert, Vincel Hoang Ngoc Minh, Michel Petitot |
| 2005 | Sum of roots with positive real parts. Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama |
| 2005 | Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings Manuel Kauers |
| 2005 | Symbolic-numeric completion of differential systems by homotopy continuation. Greg Reid, Jan Verschelde, Allan D. Wittkopf, Wenyuan Wu |
| 2005 | Symmetric and semisymmetric graphs construction using G-graphs. Alain Bretto, Luc Gillibert, Bernard Laget |