default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Symbolic Computation, Volume 14, 1992
Volume 14, Number 1, July 1992
- Volker Weispfenning:
Comprehensive Gröbner Bases. 1-30 - David Bayer, Michael Eugene 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 - Louxin 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 - Ba-Zhong Shen:
Solving a Congruence on a Graded Algebra by a Subresultant Sequence and its Application. 505-522 - C. Barbier, P. Bettess, Jacqueline Anne 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. J. Symb. Comput. 14(6): 537-556 (1992) - Josef Schicho:
On the Choice of Pencils in the Parametrization of Curves. J. Symb. Comput. 14(6): 557-576 (1992) - Etienne Paul:
A General Refutational Completeness Result for an Inference Procedure Based on Associative-Commutative Unification. J. Symb. Comput. 14(6): 577-618 (1992) - Daniel Richardson:
Computing the Topology of a Bounded Non-Algebraic Curve in the Plane. J. Symb. Comput. 14(6): 619-644 (1992) - Dave A. Berque, R. Cecchini, Mark K. Goldberg, Reid D. Rivenburgh:
The Set Player System for Symbolic Computation on Power Sets. J. Symb. Comput. 14(6): 645-662 (1992)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
