Shunro Watanabe, Morio Nagata (Eds.):
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990.
ACM 1990, ISBN 0-201-54892-5
Norbert Kuhn, Klaus Madlener, Friedrich Otto: A Test for lambda-Confluence for Certain Prefix Rewriting Systems with Applications to the Generalized Word Problem.
8-15
Marta Franová: PRECOMAS an Implementation of Constructive Matching Methodology.
16-23
K. Okubo: Global Theory of Ordinary Differential Equations and Formula Manipulation.
193-200
A. C. Norman: A Critical-Pair/Completion Based Integration Algorithm.
201-205
Nobuki Takayama: An Algorithm of Constructing the Integral of a Module - an Infinite Dimensional Analog of Gröbner Basis.
206-211
Victor Adamchik, O. I. Marichev: The Algorithm for Calculating Integrals of Hypergeometric Type Functions and Its Realization in REDUCE System.
212-224
Dima Grigoriev: Complexity of Irreducibility Testing for a System of Linear Ordinary Differential Equations.
225-230
Guoting Chen: An Algorithm for Computing the Formal Solutions of Differential Systems in the Neighborhood of an Irregular Singular Point.
231-235
Felix Ulmer, Jacques Calmet: On Liouvillian Solutions of Homogeneous Linear Differential Equations.
236-243
M. Kohno: Reduction Problems in the Theory of Differential Equations.
244-249
Vladimir P. Gerdt, A. Yu. Zharkov: Computer Generation of Necessary Integrability Conditions for Polynomial-Nonlinear Evolution Systems.
250-254
Shang-Ching Chou: Automated Reasoning in Geometries Using the Characteristic Set Method and Gröbner Basis Method.
255-260
H. Hong: An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition.
261-264
H. Q. Tan, X. Dong: Optimization Techniques for Symbolic Equation Solver in Engineering Applications.
305
Q.-S. Tao: Symbolic and Algebraic Manipulation for Formulae of Interpolation and Quadrature.
306
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.
307
data released under the ODC-BY 1.0 license
