| 1986 | Critical-pair criteria for the Knuth-Bendix completion procedure. | Leo Bachmair, Nachum Dershowitz |
| 1986 | Algebraic decomposition of regular curves. | Stefan Arnborg, Huichun Feng |
| 1986 | There is no "Uspensky's method.". | Alkiviadis G. Akritas |
| 1986 | An object-oriented approach to algebra system design. | S. Kamal Abdali, Guy W. Cherry, Neil Soiffer |
| 1986 | The Bath algebraic number package. | John A. Abbott, Russell J. Bradford, James H. Davenport |
| 1981 | Newton's iteration and the sparse Hensel algorithm (Extended Abstract). | Richard Zippel |
| 1981 | Automatic generation of finite difference equations and fourier stability analyses. | Michael C. Wirth |
| 1981 | Algebraic constructions for algorithms (Extended Abstract). | Shmuel Winograd |
| 1981 | A technique for solving ordinary differential equations using Riemann's P-functions. | Shunro Watanabe |
| 1981 | A p-adic algorithm for univariate partial fractions. | Paul S. Wang |
| 1981 | The computational complexity of continued fractions. | Volker Strassen |
| 1981 | A cancellation free algorithm, with factoring capabilities, for the efficient solution of large sparse sets of equations. | J. Smit |
| 1981 | An extension of Liouville's theorem on integration in finite terms. | Michael F. Singer, B. David Saunders, Bob F. Caviness |
| 1981 | Formulation of design rules for NMR imaging coil by using symbolic manipulation. | John F. Schenck, M. A. Hussain |
| 1981 | An implementation of Kovacic's algorithm for solving second order linear homogeneous differential equations. | B. David Saunders |
| 1981 | Efficient Gaussian elimination method for symbolic determinants and linear systems (Extended Abstract). | Tateaki Sasaki, Hirokazu Murao |
| 1981 | Parallelism in algebraic computation and parallel algorithms for symbolic linear systems. | Tateaki Sasaki, Yasumasa Kanada |
| 1981 | Elementary first integrals of differential equations. | Myra Jean Prelle, Michael F. Singer |
| 1981 | On solving systems of algebraic equations via ideal bases and elimination theory. | Michael E. Pohst, David Y. Y. Yun |
| 1981 | The optimization of user programs for an Algebraic Manipulation System. | P. D. Pearce, R. J. Hicks |
| 1981 | Computing an invariant subring of k[X, Y]. | Rosalind Neuman |
| 1981 | Algebraic computation for the masses. | Joel Moses |
| 1981 | Implementing a polynomial factorization and GCD package. | P. M. A. Moore, A. C. Norman |
| 1981 | Some inequalities about univariate polynomials. | Maurice Mignotte |
| 1981 | An algebraic front-end for the production and use of numeric programs. | Douglas H. Lanam |