External Links

    Journal: Journal of Symbolic Computation

    Volume 6, Issue 1

    1 -- 18Leo Bachmair, Nachum Dershowitz. Critical Pair Criteria for Completion
    19 -- 36Deepak Kapur, David R. Musser, Paliath Narendran. Only Prime Superpositions Need be Considered in the Knuth-Bendix Completion Procedure
    37 -- 57Abdelilah Kandri-Rody, Deepak Kapur. Computing a Gröbner Basis of a Polynomial Ideal over a Euclidean Domain
    59 -- 64Edmund F. Robertson. Tietze Transformations with Weighted Substring Search
    65 -- 81Thomas J. Myers, Maya Gokhale. Parallel Scheduling of Recursively Defined Arrays
    83 -- 98Domenico Cantone, Susanna Ghelfo, Eugenio G. Omodeo. The Automation of Syllogistic I. Syllogistic Normal Forms
    99 -- 104Celia Wrathall. The Word Problem for Free Partially Commutative Groups
    105 -- 111Gerhard O. Michler. An Algorithm for Determining the Simplicity of a Modular Group Representation
    113 -- 115J. Dixmier, Daniel Lazard. Minimum Number of Fundamental Invariants for the Binary Form of Degree
    117 -- 126Alexander Ollongren. On a Particular Restricted Five-Body Problem An Analysis with Computer Algebra
    127 -- 132James H. Davenport. Computer Algebra Applied to Itself
    runs on