| 1990 | Solving Systems of Bivariate Algebraic Equations by Using Primitive Polynomial Remainder Sequences. | Michael Kalkbrener |
| 1990 | An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition. | Hoon Hong |
| 1990 | Complexity of Irreducibility Testing for a System of Linear Ordinary Differential Equations. | Dima Grigoriev |
| 1990 | How to Test in Subexponential Time Whether Two Points Can Be Connected by a Curve in a Semialgebraic Set. | Dima Grigoriev |
| 1990 | Application of Metasystem Transition to Function Inversion and Transformation. | Robert Glck, Valentin F. Turchin |
| 1990 | Computer Generation of Necessary Integrability Conditions for Polynomial-Nonlinear Evolution Systems. | Vladimir P. Gerdt, A. Yu. Zharkov |
| 1990 | Solving Algebraic Systems which Arise as Necessary Integrability Conditions for Polynomial-Nonlinear Evolution Equations. | Vladimir P. Gerdt, N. V. Khutornoy, A. Yu. Zharkov |
| 1990 | Polynomials over Finite Fields with Large Images. | Joachim von zur Gathen |
| 1990 | Symbolic Solution Polynomial Equation Systems with Symmetry. | K. Gatemann |
| 1990 | Local Approximation Study of Difference Operators by Means of REDUCE System. | Victor G. Ganzha, Mikhail Yu. Shashkov |
| 1990 | Application of REDUCE System for Analyzing Consistency of Systems of P.D.E.'s. | Victor G. Ganzha, Sergey V. Meleshko, V. P. Shelest |
| 1990 | PRECOMAS an Implementation of Constructive Matching Methodology. | Marta Franov |
| 1990 | A Delivery System for REDUCE. | John P. Fitch |
| 1990 | Computation of Catalan's Constant Using Ramanujan's Formula. | Gregory J. Fee |
| 1990 | A Meta Simplifier. | C. Faure |
| 1990 | Advances and Trends in the Design and Construction of Algebraic Manipulation Systems. | Richard J. Fateman |
| 1990 | SUI: A System Independent User Interface for an Integrated Scientific Computing Environment. | Y. Doleh, Paul S. Wang |
| 1990 | A Random Base Change Algorithm for Permutation Groups. | Gene Cooperman, Larry Finkelstein, N. Sarawagi |
| 1990 | Equations, Disequations and Unsolvable Subsets (abstract). | Philippe Codognet |
| 1990 | Methods for Mechanical Geometry Formula Deriving. | Shang-Ching Chou, Xiao-Shan Gao |
| 1990 | Automated Reasoning in Geometries Using the Characteristic Set Method and Grbner Basis Method. | Shang-Ching Chou |
| 1990 | An Algebraic Model for the Parallel Interpretation of Equationally Defined Functions (abstract). | Ferroudj Cherief |
| 1990 | The Implementation of an Algorithm in Macsyma: Computing the Formal Solutions of Differential Systems in the Neighborhood of Regular Singular Point. | Guoting Chen, I. Gil |
| 1990 | An Algorithm for Computing the Formal Solutions of Differential Systems in the Neighborhood of an Irregular Singular Point. | Guoting Chen |
| 1990 | Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation. | Bruce W. Char |