| 1990 | Symbolic and Algebraic Manipulation for Formulae of Interpolation and Quadrature. | Q.-S. Tao |
| 1990 | Optimization Techniques for Symbolic Equation Solver in Engineering Applications. | H. Q. Tan, X. Dong |
| 1990 | An Algorithm of Constructing the Integral of a Module - an Infinite Dimensional Analog of Grbner Basis. | Nobuki Takayama |
| 1990 | Grbner Basis, Integration and Transcendental Functions. | Nobuki Takayama |
| 1990 | Resolution Proof Systems with Weak Transformation Rules. | Zbigniew Stachniak |
| 1990 | Detecting Algebraic Dependencies Between Unnested Radicals (abstract). | Trevor J. Smedley |
| 1990 | On the Isomorphism Problem for Finite-Dimensional Binomial Algebras. | Kioshi Shirayanagi |
| 1990 | Some Applications of Maple Symbolic Computation to Scientific and Engineering Problems. | Tony C. Scott, Gregory J. Fee |
| 1990 | Univariate Power Series Expansions in REDUCE. | Julian A. Padget, A. Barnes |
| 1990 | Global Theory of Ordinary Differential Equations and Formula Manipulation. | K. Okubo |
| 1990 | A Critical-Pair/Completion Based Integration Algorithm. | A. C. Norman |
| 1990 | On the Symbolic/Numeric Hybrid Integration. | M. T. Noda, E. Miyahiro |
| 1990 | Reexamining Intractability of Tableau Methods. | Neil V. Murray, Erik Rosenthal |
| 1990 | Arithmetic with Real Algebraic Numbers is in NC. | Bhubaneswar Mishra, Paul Pedersen |
| 1990 | Symbolic-Numerical Computations in the Stability Analyses of Difference Schemes. | S. I. Mazurik, Evgenii V. Vorozhtsov |
| 1990 | Regular Curves and Proper Parametrizations. | Dinesh Manocha |
| 1990 | A Modular Approach to the Computation of the Number of Real Roots. | Juan Llovet, J. Rafael Sendra |
| 1990 | An Algorithm for Finding all Isolated Zeros of Polynomial Systems. | Zhuo-jun Liu |
| 1990 | FIDE: a REDUCE package for automation of FInite difference method for solving pDE. | Richard Liska, L. Drsda |
| 1990 | Algebraic Programming in the APS System. | Alexander A. Letichevsky, Julia V. Kapitonova |
| 1990 | A Test for lambda-Confluence for Certain Prefix Rewriting Systems with Applications to the Generalized Word Problem. | Norbert Kuhn, Klaus Madlener, Friedrich Otto |
| 1990 | Systems for Symbolic Computations in Boolean Algebra. | S. V. Kolyada |
| 1990 | Reduction Problems in the Theory of Differential Equations. | Mitsuhiko Kohno |
| 1990 | Refutational Proofs of Geometry Theorems via Characteristic Set Computation. | Deepak Kapur, H. K. Wan |
| 1990 | Modular Rational Sparse Multivariate Polynomial Interpolation. | Erich L. Kaltofen, Yagati N. Lakshman, J.-M. Wiley |