| 1990 | A Critical-Pair/Completion Based Integration Algorithm. A. C. Norman |
| 1990 | A Decidable Fragment of the Elementary Theory of Relations and Some Applications. Domenico Cantone, Vincenzo Cutello |
| 1990 | A Delivery System for REDUCE. John P. Fitch |
| 1990 | A Meta Simplifier. C. Faure |
| 1990 | A Modular Approach to the Computation of the Number of Real Roots. Juan Llovet, J. Rafael Sendra |
| 1990 | A Parallelization of the Buchberger Algorithm. Russell J. Bradford |
| 1990 | A Random Base Change Algorithm for Permutation Groups. Gene Cooperman, Larry Finkelstein, N. Sarawagi |
| 1990 | A Strong Problem Reduction Method Based on Function Introduction. Matthias Baaz, Alexander Leitsch |
| 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 | Advances and Trends in the Design and Construction of Algebraic Manipulation Systems. Richard J. Fateman |
| 1990 | Algebraic Programming in the APS System. Alexander A. Letichevsky, Julia V. Kapitonova |
| 1990 | An Algebraic Model for the Parallel Interpretation of Equationally Defined Functions (abstract). Ferroudj Cherief |
| 1990 | An Algorithm for Computing the Formal Solutions of Differential Systems in the Neighborhood of an Irregular Singular Point. Guoting Chen |
| 1990 | An Algorithm for Finding all Isolated Zeros of Polynomial Systems. Zhuo-Jun Liu |
| 1990 | An Algorithm of Constructing the Integral of a Module - an Infinite Dimensional Analog of Gröbner Basis. Nobuki Takayama |
| 1990 | An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract). Mounira Belmesk |
| 1990 | An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition. Hoon Hong |
| 1990 | Application of Metasystem Transition to Function Inversion and Transformation. Robert Glück, Valentin F. Turchin |
| 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 | Arithmetic with Real Algebraic Numbers is in NC. Bhubaneswar Mishra, Paul Pedersen |
| 1990 | Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method. Shang-Ching Chou |
| 1990 | Complexity of Irreducibility Testing for a System of Linear Ordinary Differential Equations. Dima Grigoriev |
| 1990 | Computation of Catalan's Constant Using Ramanujan's Formula. Gregory J. Fee |
| 1990 | Computer Generation of Necessary Integrability Conditions for Polynomial-Nonlinear Evolution Systems. Vladimir P. Gerdt, A. Yu. Zharkov |
| 1990 | Dataflow for Logic Program as Substitution Manipulator. Susumu Yamasaki |
| 1990 | Detecting Algebraic Dependencies Between Unnested Radicals (abstract). Trevor J. Smedley |
| 1990 | Equations, Disequations and Unsolvable Subsets (abstract). Philippe Codognet |
| 1990 | FIDE: a REDUCE package for automation of FInite difference method for solving pDE. Richard Liska, L. Drsda |
| 1990 | Global Theory of Ordinary Differential Equations and Formula Manipulation. K. Okubo |
| 1990 | Gröbner Basis, Integration and Transcendental Functions. Nobuki Takayama |
| 1990 | How to Test in Subexponential Time Whether Two Points Can Be Connected by a Curve in a Semialgebraic Set. Dima Grigoriev |
| 1990 | Local Approximation Study of Difference Operators by Means of REDUCE System. Victor G. Ganzha, Mikhail Yu. Shashkov |
| 1990 | Methods for Mechanical Geometry Formula Deriving. Shang-Ching Chou, Xiao-Shan Gao |
| 1990 | Modular Rational Sparse Multivariate Polynomial Interpolation. Erich L. Kaltofen, Yagati N. Lakshman, J.-M. Wiley |
| 1990 | Normal Forms in Function Fields. Karl Aberer |
| 1990 | On Determining the Solvability of Polynomials. Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima |
| 1990 | On Factoring Multi-Variate Polynomials over Algebraically Closed Fields (abstract). Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima |
| 1990 | On Liouvillian Solutions of Homogeneous Linear Differential Equations. Felix Ulmer, Jacques Calmet |
| 1990 | On the Isomorphism Problem for Finite-Dimensional Binomial Algebras. Kioshi Shirayanagi |
| 1990 | On the Symbolic/Numeric Hybrid Integration. M. T. Noda, E. Miyahiro |
| 1990 | Optimization Techniques for Symbolic Equation Solver in Engineering Applications. H. Q. Tan, X. Dong |
| 1990 | PRECOMAS an Implementation of Constructive Matching Methodology. Marta Franová |
| 1990 | Parallel Polynomial Computations by Recursive Processes. Dario Bini, Victor Y. Pan |
| 1990 | Parallel Univariate Polynomial Factorization on Shared-Memory Multiprocessors. Paul S. Wang |
| 1990 | Polynomials over Finite Fields with Large Images. Joachim von zur Gathen |
| 1990 | Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990 Shunro Watanabe, Morio Nagata |
| 1990 | Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation. Bruce W. Char |
| 1990 | Reduction Problems in the Theory of Differential Equations. Mitsuhiko Kohno |
| 1990 | Reexamining Intractability of Tableau Methods. Neil V. Murray, Erik Rosenthal |
| 1990 | Refutational Proofs of Geometry Theorems via Characteristic Set Computation. Deepak Kapur, H. K. Wan |
| 1990 | Regular Curves and Proper Parametrizations. Dinesh Manocha |
| 1990 | Resolution Proof Systems with Weak Transformation Rules. Zbigniew Stachniak |
| 1990 | SUI: A System Independent User Interface for an Integrated Scientific Computing Environment. Y. Doleh, Paul S. Wang |
| 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 | Solving Systems of Bivariate Algebraic Equations by Using Primitive Polynomial Remainder Sequences. Michael Kalkbrener |
| 1990 | Some Applications of Maple Symbolic Computation to Scientific and Engineering Problems. Tony C. Scott, Gregory J. Fee |
| 1990 | Symbolic Solution Polynomial Equation Systems with Symmetry. K. Gatemann |
| 1990 | Symbolic and Algebraic Manipulation for Formulae of Interpolation and Quadrature. Q.-S. Tao |
| 1990 | Symbolic-Numerical Computations in the Stability Analyses of Difference Schemes. S. I. Mazurik, Evgenii V. Vorozhtsov |
| 1990 | Systems for Symbolic Computations in Boolean Algebra. S. V. Kolyada |
| 1990 | The Algorithm for Calculating Integrals of Hypergeometric Type Functions and Its Realization in REDUCE System. Victor Adamchik, O. I. Marichev |
| 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 | Univariate Power Series Expansions in REDUCE. Julian A. Padget, A. Barnes |