Volume 11, Number 1/2, January/February 1991
: On the Relation Between Resolution Based and Completion Based Theorem Proving.
Volume 11, Number 3, March 1991
Jean C. Piquette
: A Method for Symbolic Evaluation of Indefinite Integrals Containing Special Functions or their Products.
Michael F. Singer
: Liouvillian Solutions of Linear Differential Equations with Liouvillian Coefficients.
D. A. Diver
: Modelling Waves with Computer Algebra.
Volume 11, Number 4, April 1991
: Parallel Multiplication and Powering of Polynomials.
: Comparison of Priority Rules in Pattern Matching and Term Rewriting.
Volume 11, Number 5/6, May/June 1991
: Multivariate Polynomials, Standard Tableaux, and Representations of Symmetric Groups.
: Invariant-Theoretic Methods in Scene Analysis and Structural Mechanics.
: Invariant Computations for Analytic Projective Geometry.
Timothy F. Havel
: Some Examples of the Use of Distances as Coordinates for Euclidean Geometry.
: Computational Algebraic Geometry of Projective Configurations.