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
  

Volume 14, Number 2/3, August/September 1992

• 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
  

Volume 14, Number 4, October 1992

• 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
  

Volume 14, Number 5, November 1992

• 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
  

Volume 14, Number 6, December 1992

• 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 Mon Feb 13 04:53:21 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page