Richard J. Fateman Advances and Trends in the Design and Construction of Algebraic Manipulation Systems. [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:60-67 [Conf]
Y. Doleh, Paul S. Wang SUI: A System Independent User Interface for an Integrated Scientific Computing Environment. [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:88-95 [Conf]
Bruce W. Char Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation. [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:96-103 [Conf]
Dima Grigoriev How to Test in Subexponential Time Whether Two Points Can Be Connected by a Curve in a Semialgebraic Set. [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:104-105 [Conf]
Paul S. Wang Parallel Univariate Polynomial Factorization on Shared-Memory Multiprocessors. [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:145-151 [Conf]
Nobuki Takayama An Algorithm of Constructing the Integral of a Module - an Infinite Dimensional Analog of Gröbner Basis. [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:206-211 [Conf]
Dima Grigoriev Complexity of Irreducibility Testing for a System of Linear Ordinary Differential Equations. [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:225-230 [Conf]
Guoting Chen An Algorithm for Computing the Formal Solutions of Differential Systems in the Neighborhood of an Irregular Singular Point. [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:231-235 [Conf]
Shang-Ching Chou Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method. [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:255-260 [Conf]
H. Hong An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition. [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:261-264 [Conf]
Ferroudj Cherief An Algebraic Model for the Parallel Interpretation of Equationally Defined Functions (abstract). [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:285- [Conf]
Michael Kalkbrener Solving Systems of Bivariate Algebraic Equations by Using Primitive Polynomial Remainder Sequences. [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:295- [Conf]
H. Q. Tan, X. Dong Optimization Techniques for Symbolic Equation Solver in Engineering Applications. [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:305- [Conf]
Q.-S. Tao Symbolic and Algebraic Manipulation for Formulae of Interpolation and Quadrature. [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:306- [Conf]
Guoting Chen, I. Gil The Implementation of an Algorithm in Macsyma: Computing the Formal Solutions of Differential Systems in the Neighborhood of Regular Singular Point. [Citation Graph (0, 0)][DBLP] ISSAC, 1990, pp:307- [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP