Journal of Symbolic Computation, Volume 1, 1985

Volume 1, Number 1, March 1985

Etienne Paul: Equational Methods in First Order Predicate Calculus. 7-29 BibTeX
Elmar Eder: Properties of Substitutions and Unifications. 31-46 BibTeX
Bernard Chazelle, Herbert Edelsbrunner: Optimal Solutions for a Class of Point Retrieval Problems. 47-56 BibTeX
Erich Kaltofen: Fast Parallel Absolute Irreducibility Testing. 57-67 BibTeX
Richard Pavelle, Paul S. Wang: MACSYMA from F to G. 69-100 BibTeX
Vladimir P. Gerdt, A. B. Shvachka, A. Yu. Zharkov: Computer Algebra Application for Classification of Integrable Non-Linear Evolution Equations. 101-107 BibTeX
K. S. Kölbig: Explicit Evaluation of Certain Definite Integrals Involving Powers of Logarithms. 109-114 BibTeX
Wolfgang Bibel, K. Aspetsberger: A Bibliography on Parallel Inference Machines. 115-118 BibTeX

Alan W. Biermann: Automatic Programming: A Tutorial on Formal Methodologies. 119-142 BibTeX
Gregory Butler: Effective Computation with Group Homomorphisms. 143-157 BibTeX
David R. Barton, Richard Zippel: Polynomial Decomposition Algorithms. 159-168 BibTeX
Allan Borodin, Ronald Fagin, John E. Hopcroft, Martin Tompa: Decreasing the Nesting Depth of Expressions Involving Square Roots. 169-188 BibTeX
Richard Zippel: Simplification of Expressions Involving Radicals. 189-210 BibTeX
John Fitch: Solving Algebraic Problems with Reduce. 211-227 BibTeX
Fritz Schwarz: An Algorithm for Determining Polynomial First Integrals of Autonomous Systems of Ordinary Differential Equations. 229-233 BibTeX
Miguel Navarro-Saad, Kurt Bernardo Wolf: Applications of a Factorisation Theorem for Ninth-Order Aberration Optics. 235-239 BibTeX
Don Coppersmith, James H. Davenport: An Application of Factoring. 241-243 BibTeX

Wolfgang Bibel: Automated Inferencing. 245-260 BibTeX
Daniel Lazard: Ideal Bases and Primary Decomposition: Case of Two Variables. 261-270 BibTeX
E. V. Krishnamurthy: Symbolic Iterative Algorithm for Generalised Inversion of Rational Polynomial Matrices. 271-281 BibTeX
Guy W. Cherry: Integration in Finite Terms with Special Functions: the Error Function. 283-302 BibTeX
Michael Karr: Theory of Summation in Finite Terms. 303-315 BibTeX
Nicola Rizzi, Amabile Tatone: Using Symbolic Computation in Buckling Analysis. 317-321 BibTeX
Thierry Coquand, Gérard P. Huet: A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction. 323-328 BibTeX

Leo Bachmair, David A. Plaisted: Termination Orderings for Associative-Commutative Rewriting Systems. 329-349 BibTeX
Derek F. Holt: The Mechanical Computation of First and Second Cohomology Groups. 351-361 BibTeX
Gregory Butler, Clement W. H. Lam: A General Backtrack Algorithm for the Isomorphism Problem of Combinatorial Objects. 363-381 BibTeX
Klaus Madlener, Friedrich Otto: Pseudo-Natural Algorithms for the Word Problem for Finitely Presented Monoids and Groups. 383-418 BibTeX
Ph. Tombal, A. Moussiaux: MACSYMA Computation of the Dirac-Bergmann Algorithm for Hamiltonian Systems with Constraints. 419-421 BibTeX