External Links

    Journal: Journal of Symbolic Computation

    Volume 14, Issue 6

    537 -- 556Eric Domenjoud. AC Unification Through Order-Sorted AC1 Unification
    557 -- 576Josef Schicho. On the Choice of Pencils in the Parametrization of Curves
    577 -- 618E. Paul. A General Refutational Completeness Result for an Inference Procedure Based on Associative-Commutative Unification
    619 -- 644D. Richardson. Computing the Topology of a Bounded Non-Algebraic Curve in the Plane
    645 -- 662Dave A. Berque, R. Cecchini, Mark K. Goldberg, R. Rivenburgh. The Set Player System for Symbolic Computation on Power Sets

    Volume 14, Issue 5

    419 -- 436Pierre Lescanne. Well Rewrite Orderings and Well Quasi-Orderings
    437 -- 458Ralf Treinen. A New Method for Undecidablity Proofs of First Order Theories
    459 -- 470Xiao-Shan Gao, Shang-Ching Chou. Implicitization of Rational Parametric Equations
    483 -- 504Elizabeth W. Rutman. Gröbner Bases and Primary Decomposition of Modules
    505 -- 522B.-Z. Shen. Solving a Congruence on a Graded Algebra by a Subresultant Sequence and its Application
    523 -- 534C. Barbier, P. Bettess, J. A. Bettess. Automatic Generation of Mapping Functions for Infinite Elements Using REDUCE

    Volume 14, Issue 4

    283 -- 302Thierry Boy de la Tour. An Optimality Result for Clause Form Translation
    303 -- 320Daniel J. Dougherty, Patricia Johann. An Improved General E-Unification Method
    321 -- 358Dale Miller. Unification Under a Mixed Prefix
    359 -- 370L. Zhang. Some Properties of Finite Special String-Rewriting Systems
    371 -- 398George F. McNulty. A Field Guide to Equational Logic
    399 -- 417Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima. Solutions of Systems of Algebraic Equations and Linear Maps on Residue Class Rings

    Volume 14, Issue 2/3

    123 -- 126Peter Paule, Doron Zeilberger. Special Issue: Symbolic Computation in Combinatorics - Foreword of the Guest Editors
    127 -- 140François Bergeron, Nantel Bergeron. Symbolic Manipulation for the Study of the Descent Algebra of Finite Coxeter Groups
    141 -- 178Frank G. Garvan, Gaston H. Gonnet. A Proof for the Two Parameter Q-Cases of the Macdonald-Morris Constant Term Root System Conjecture for S(F4) and S(F4) via Zeilberger s Method
    179 -- 194Ira M. Gessel. Super Ballot Numbers
    195 -- 204Adalbert Kerber, Axel Kohnert, Alain Lascoux. SYMMETRICA, an Object Oriented Computer-Algebra System for the Symmetric Group
    205 -- 210Axel Kohnert. Schubert Polynomials and Skew Schur Functions
    211 -- 242Gilbert Labelle. Counting Asymmetric Enriched Trees
    243 -- 264Marko Petkovsek. Hypergeometric Solutions of Linear Recurrences with Polynomial Coefficents
    265 -- 282Nobuki Takayama. An Approach to the Zero Recognition Problem by Buchberger Algorithm

    Volume 14, Issue 1

    1 -- 30Volker Weispfenning. Comprehensive Gröbner Bases
    31 -- 50David Bayer, Michael Stillman. Computation of Hilbert Functions
    51 -- 70Mohamed Adi, Claude Kirchner. AC-Unification Race: The System Solving Approach, Implementation and Benchmarks
    71 -- 84Robert Harper. Constructing Type Systems over an Operational Semantics
    93 -- 102J. Richardson. The Blockhandler and the Bitfield Package
    103 -- 120John Carminati, John S. Devitt, Gregory J. Fee. Isogroups of Differential Equations Using Algebraic Computing
    runs on