Journal of Symbolic Computation, Volume 14, 1992

Volume 14, Number 1, July 1992

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

Symbolic Computation in Combinatorics

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

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

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

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

Last update Tue May 21 14:57:22 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page