| 1986 | Edusym - educational symbolic manipulator on a microcomputer. | Neven Jurkovic |
| 1986 | Algorithm for computing formal invariants of linear differential systems. | Abdelaziz Hilali, A. Wazner |
| 1986 | Summation of binomial coefficients using hypergeometric functions. | Michael B. Hayden, Edmund A. Lamagna |
| 1986 | An application of knowledge-base technology in education: a geometry theorem prover. | Mirsad Hadzikadic, Franz Lichtenberger, David Y. Y. Yun |
| 1986 | An implementation of operators for symbolic algebra systems. | Gaston H. Gonnet |
| 1986 | New results for random determination of equivalence of expressions. | Gaston H. Gonnet |
| 1986 | An operator algebra for Macsyma. | J. P. Golden |
| 1986 | Numerical integration in a symbolic context. | Keith O. Geddes |
| 1986 | Buchberger's algorithm and staggered linear bases. | Rdiger Gebauer, H. Michael Mller |
| 1986 | A numerical code generation facility for REDUCE. | Barbara L. Gates |
| 1986 | The Grbner basis of a module over KUX1, ..., Xne and polynomial solutions of a system of linear equations. | A. Furukawa, T. Sasaki, H. Kobayashi |
| 1986 | A system for manipulating polynomials given by straight-line programs. | Timothy S. Freeman, Gregory M. Imirzian, Erich L. Kaltofen |
| 1986 | Alkahest III: automatic analysis of periodic weakly nonlinear ODEs. | John P. Fitch, A. C. Norman, M. A. Moore |
| 1986 | Formal solutions of linear difference equations: method of Pincherle-Ramis. | Jean Della Dora, Evelyne Tournier |
| 1986 | PowerMath: a system for the Macintosh. | James H. Davenport, C. E. Roth |
| 1986 | On implementing Buchberger's algorithm for Grobner bases. | Stephen R. Czapor, Keith O. Geddes |
| 1986 | A semantic matcher for computer algebra. | Gene Cooperman |
| 1986 | Computer algebra in the undergraduate mathematics classroom. | Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Beverly J. Marshman, Peter J. Ponzo |
| 1986 | How to compute multivariate Pade approximants. | Claudine Chaffy |
| 1986 | Divide-and-conquer in computational group theory. | Greg Butler |
| 1986 | Gsolve: a faster algorithm for solving systems of algebraic equations. | Manuel Bronstein |
| 1986 | Enlarging the REDUCE domain of computation. | Russell J. Bradford, Anthony C. Hearn, Julian A. Padget, Eberhard Schrfer |
| 1986 | Symbolic algorithms for Lie algebra computation. | Robert E. Beck, Bernard Kolman |
| 1986 | The design of Macaulay: a system for computing in algebraic geometry and commutative algebra. | David Bayer, Michael Eugene Stillman |
| 1986 | Limitations to algorithm solvability: Galois methods and models of computation. | Chanderjit L. Bajaj |