| 2005 | Probabilistic algorithms for computing resultants. | Michael B. Monagan |
| 2005 | Application of Wu's method to symbolic model checking. | Weibo Mao, Jinzhao Wu |
| 2005 | Exact analytical solutions to the nonlinear Schrdinger equation model. | Biao Li, Yong Chen, Qi Wang |
| 2005 | Half-GCD and fast rational recovery. | Daniel Lichtblau |
| 2005 | Algorithms for the non-monic case of the sparse modular GCD algorithm. | Jennifer de Kleine, Michael B. Monagan, Allan D. Wittkopf |
| 2005 | Generic matrix multiplication and memory management in linBox. | Erich L. Kaltofen, Dmitriy Morozov, George Yuhasz |
| 2005 | On the complexity of factoring bivariate supersparse (Lacunary) polynomials. | Erich L. Kaltofen, Pascal Koiran |
| 2005 | Architecture-aware classical Taylor shift by 1. | Jeremy R. Johnson, Werner Krandick, Anatole D. Ruslanov |
| 2005 | Affine transformations of algebraic numbers. | David J. Jeffrey, Pratibha, K. B. Roach |
| 2005 | Schur partition for symmetric ternary forms and readable proof to inequalities. | Fangjian Huang, Shengli Chen |
| 2005 | A reliable block Lanczos algorithm over small finite fields. | Bradford Hovinen, Wayne Eberly |
| 2005 | Solving second order linear differential equations with Klein's theorem. | Mark van Hoeij, Jacques-Arthur Weil |
| 2005 | On computing nearest singular hankel matrices. | Markus A. Hitz |
| 2005 | Generalized Loewy-decomposition of d-modules. | Dima Grigoriev, Fritz Schwarz |
| 2005 | A procedure for proving special function inequalities involving a discrete parameter. | Stefan Gerhold, Manuel Kauers |
| 2005 | Selfintersections of a bzier bicubic surface. | Andr Galligo, Jean Pascal Pavone |
| 2005 | Efficient computation of the characteristic polynomial. | Jean-Guillaume Dumas, Clment Pernet, Zhendong Wan |
| 2005 | Computing -bases of rational curves and surfaces using polynomial matrix factorization. | Jiansong Deng, Falai Chen, Liyong Shen |
| 2005 | Computing the multiplicity structure in solving polynomial systems. | Barry H. Dayton, Zhonggang Zeng |
| 2005 | Lifting techniques for triangular decompositions. | Xavier Dahan, Marc Moreno Maza, ric Schost, Wenyuan Wu, Yuzhen Xie |
| 2005 | Structure and asymptotic expansion of multiple harmonic sums. | Christian Costermans, Jean-Yves Enjalbert, Vincel Hoang Ngoc Minh, Michel Petitot |
| 2005 | A BLAS based C library for exact linear algebra on integer matrices. | Zhuliang Chen, Arne Storjohann |
| 2005 | Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series. | Orlando A. Carvajal, Frederick W. Chapman, Keith O. Geddes |
| 2005 | A view on the future of symbolic computation. | Bruno Buchberger |
| 2005 | On using bi-equational constraints in CAD construction. | Christopher W. Brown, Scott McCallum |