| 1988 | Experiments with a Projection Operator for Algebraic Decomposition. | Stefan Arnborg |
| 1988 | Computations with Algebraic Curves. | Shreeram S. Abhyankar, Chandrajit L. Bajaj |
| 1988 | Equations in Words. | Habib Abdulrab |
| 1988 | Experiments with Quadtree Representation of Matrices. | S. Kamal Abdali, David S. Wise |
| 1986 | A fast carry-free algorithm and hardware design for extended integer GCD computation. | David Y. Y. Yun, Chang Nian Zhang |
| 1986 | Code generation for hybrid mixed mode formulation in finite element analysis. | Paul S. Wang, Hui-Qian Tan, Atef F. Saleeb, Tse-Yung P. Chang |
| 1986 | MathScribe: a user interface for computer algebra systems. | Carolyn J. Smith, Neil Soiffer |
| 1986 | Computer understanding and generalization of symbolic mathematical calculations: a case study in physics problem solving. | Jude W. Shavlik, Gerald DeJong |
| 1986 | Conform: a conformal mapping system. | Harlan R. Seymour |
| 1986 | Simplification of algebraic expression by multiterm rewriting rules. | Tateaki Sasaki |
| 1986 | The computer algebra system CAS1 for the IBM-PC. | Z. Renbao, X. Ling, R. Zhaoyang |
| 1986 | Investigating the structure of a Lie algebra. | D. W. Rand, Pavel Winternitz |
| 1986 | Applications of a software interconnection system in mathematical problem solving environments. | James M. Purtilo |
| 1986 | A sparse distributed representation using prime numbers. | C. P. Mawata |
| 1986 | A fast implementation of polynomial factorization. | Michael Lucks |
| 1986 | Iris: design of an user interface program for symbolic algebra. | Benton L. Leong |
| 1986 | Constructive solid geometry: a symbolic computation approach. | Laurence L. Leff, David Y. Y. Yun |
| 1986 | Automated geometry theorem proving using Buchberger's algorithm. | B. Kutzler, Sabine Stifter |
| 1986 | Construction of rational approximations by means of REDUCE. | Alexander P. Kryukov, A. Ya. Rodionov, Grigori L. Litvinov |
| 1986 | Usage of REDUCE for computations of group-theoretical weight of Feynman diagrams in non-Abelian gauge theories. | Alexander P. Kryukov, A. Ya. Rodionov |
| 1986 | Dialogue in REDUCE: experience and development. | Alexander P. Kryukov |
| 1986 | Grbner bases of ideals of convergent power series. | H. Kobayashi, A. Furukawa, T. Sasaki |
| 1986 | Integration of Liouvillian functions with special functions. | Paul H. Knowles |
| 1986 | Geometry theorem proving using Hilbert's Nullstellensatz. | Deepak Kapur |
| 1986 | Fast parallel algorithms for similarity of matrices. | Erich L. Kaltofen, Mukkai S. Krishnamoorthy, B. David Saunders |