External Links

    Journal: Journal of Symbolic Computation

    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
    runs on