Journal of Symbolic Computation, Volume 14, 1992

Volume 14, Number 1, July 1992

Volker Weispfenning: Comprehensive Gröbner Bases. 1-30 BibTeX
David Bayer, Michael Stillman: Computation of Hilbert Functions. 31-50 BibTeX
Mohamed Adi, Claude Kirchner: AC-Unification Race: The System Solving Approach, Implementation and Benchmarks. 51-70 BibTeX
Robert Harper: Constructing Type Systems over an Operational Semantics. 71-84 BibTeX
V. Dietrich: ELISE, an Algorithm to Compute Asymptotic Representations for Solutions of Linear Differential Equations, Realized with the Computer Algebra System MAPLE. 85-92 BibTeX
J. Richardson: The Blockhandler and the Bitfield Package. 93-102 BibTeX
John Carminati, John S. Devitt, Gregory J. Fee: Isogroups of Differential Equations Using Algebraic Computing. 103-120 BibTeX

Symbolic Computation in Combinatorics

Peter Paule, Doron Zeilberger: Special Issue: Symbolic Computation in Combinatorics - Foreword of the Guest Editors. 123-126 BibTeX
François Bergeron, Nantel Bergeron: Symbolic Manipulation for the Study of the Descent Algebra of Finite Coxeter Groups. 127-140 BibTeX
Frank 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. 141-178 BibTeX
Ira M. Gessel: Super Ballot Numbers. 179-194 BibTeX
Adalbert Kerber, Axel Kohnert, Alain Lascoux: SYMMETRICA, an Object Oriented Computer-Algebra System for the Symmetric Group. 195-204 BibTeX
Axel Kohnert: Schubert Polynomials and Skew Schur Functions. 205-210 BibTeX
Gilbert Labelle: Counting Asymmetric Enriched Trees. 211-242 BibTeX
Marko Petkovsek: Hypergeometric Solutions of Linear Recurrences with Polynomial Coefficents. 243-264 BibTeX
Nobuki Takayama: An Approach to the Zero Recognition Problem by Buchberger Algorithm. 265-282 BibTeX

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

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

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