External Links

    Journal: Journal of Symbolic Computation

    Volume 2, Issue 4

    317 -- 324Ronald V. Book, Jörg H. Siekmann. On Unification: Equational Theories Are Not Bounded
    325 -- 355Lawrence C. Paulson. Constructing Recursion Operators in Intuitionistic Type Theory
    357 -- 362Murray R. Bremner. Fast Computation of Weight Multiplicities
    363 -- 381Philippe le Chenadec. A Catalogue of Complete Group Presentations
    383 -- 388Dieter Armbruster, Heinz Kredel. Constructing Universal Unfoldings Using Gröbner Bases
    389 -- 397B. Kutzler, Sabine Stifter. On the Application of Buchberger s Algorithm to Automated Geometry Theorem Proving
    399 -- 408Deepak Kapur. Using Gröbner Bases to Reason About Geometry Problems

    Volume 2, Issue 3

    217 -- 236B. F. Caviness. Computer Algebra: Past and Future
    237 -- 260James H. Davenport. Elementary and Liouvillian Solutions of Linear Differential Equations
    261 -- 291Heinrich Rolletschek. On the Number of Divisions of the Euclidean Algorithm Applied to Gaussian Integers
    293 -- 304David A. Plaisted, Steven Greenbaum. A Structure-Preserving Clause Form Translation
    305 -- 316Paul S. Wang. FINGER: A Symbolic System for Automatic Generation of Numerical Programs in Finite Element Analysis

    Volume 2, Issue 2

    109 -- 122Jürgen Avenhaus. On the Descriptive Power of Term Rewriting Systems
    123 -- 138Ulrich Furbach, Steffen Hölldobler. Modelling the Combination of Functional and Logic Programming Languages
    139 -- 170Lorenzo Robbiano. On the Theory of Graded Structures
    171 -- 178Herbert Edelsbrunner, Roman Waupotitsch. Computing a Ham-Sandwich Cut in Two Dimensions
    179 -- 200Bruce W. Char, Gregory J. Fee, Keith O. Geddes, Gaston H. Gonnet, Michael B. Monagan. A Tutorial Introduction to Maple
    201 -- 206Anthony Duncan, Ralph Roskies. Representations of Unusual Mathematical Structures in Scientific Applications of Symbolic Computation
    207 -- 21Carl Trindle. Application of the MuMATH(R) Symbol Manipulation System to Chemically Significant Permutation Groups
    213 -- 216Stanly Steinberg, Patrick J. Roache. Using MACSYMA to Write FORTRAN Subroutines

    Volume 2, Issue 1

    3 -- 43Jerald J. Kovacic. An Algorithm for Solving Second Order Linear Homogeneous Differential Equations
    45 -- 50M. D. Atkinson, R. A. Hassan. On the Computation of Group Characters
    51 -- 58Michael C. Slattery. Computing Character Degrees in p-Groups
    59 -- 81Ana Pasztor. Non-Standard Algorithmic and Dynamic Logic
    83 -- 98W. Böge, Rüdiger Gebauer, Heinz Kredel. Some Examples for Solving Systems of Algebraic Equations by Calculating Groebner Bases
    99 -- 102Chandrajit L. Bajaj. Proving Geometric Algorithm Non-Solvability: An Application of Factoring Polynomials
    103 -- 108Stanley J. Watowich, Jeffery L. Krause, R. Stephen Berry. Stability Analysis of an Optimally Controlled Light-Driven Engine
    runs on