External Links

    Journal: Journal of Symbolic Computation

    Volume 1, Issue 4

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

    Volume 1, Issue 3

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

    Volume 1, Issue 2

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

    Volume 1, Issue 1

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