default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Symbolic Computation, Volume 6, 1988
Volume 6, Number 1, August 1988
- Leo Bachmair, Nachum Dershowitz:
Critical Pair Criteria for Completion. 1-18 - Deepak Kapur, David R. Musser, Paliath Narendran:
Only Prime Superpositions Need be Considered in the Knuth-Bendix Completion Procedure. 19-36 - Abdelilah Kandri-Rody, Deepak Kapur:
Computing a Gröbner Basis of a Polynomial Ideal over a Euclidean Domain. 37-57 - Edmund F. Robertson:
Tietze Transformations with Weighted Substring Search. 59-64 - Thomas J. Myers, Maya B. Gokhale:
Parallel Scheduling of Recursively Defined Arrays. 65-81 - Domenico Cantone, Susanna Ghelfo, Eugenio G. Omodeo:
The Automation of Syllogistic I. Syllogistic Normal Forms. 83-98 - Celia Wrathall:
The Word Problem for Free Partially Commutative Groups. 99-104 - Gerhard O. Michler:
An Algorithm for Determining the Simplicity of a Modular Group Representation. 105-111 - J. Dixmier, Daniel Lazard:
Minimum Number of Fundamental Invariants for the Binary Form of Degree. 113-115 - Alexander Ollongren:
On a Particular Restricted Five-Body Problem An Analysis with Computer Algebra. 117-126 - James H. Davenport:
Computer Algebra Applied to Itself. 127-132
Volume 6, Number 2/3, October/December 1988
- David Bayer, Michael Eugene Stillman:
On the Complexity of Computing Syzygies. 135-147 - Patrizia M. Gianni, Barry M. Trager, Gail Zacharias:
Gröbner Bases and Primary Decomposition of Polynomial Ideals. 149-167 - Ruth Shtokhamer:
Lifting Canonical Algorithms from a Ring R to the Ring R[x]. 169-181 - Teo Mora, Lorenzo Robbiano:
The Gröbner Fan of an Ideal. 183-208 - David Bayer, Ian Morrison:
Standard Bases and Geometric Invariant Theory I. Initial Ideals and State Polytopes. 209-217 - Giuseppa Carrà Ferro:
Gröbner Bases and Hilbert Schemes. I. 219-230 - Heinz Kredel, Volker Weispfenning:
Computing Dimension and Independent Sets for Polynomial Ideals. 231-247 - Marc Giusti:
Combinatorial Dimension Theory of Algebraic Varieties. 249-265 - David Shannon, Moss Sweedler:
Using Gröbner Bases to Determine Algebra Membership Split Surjective Algebra Homomorphisms Determine Birational Equivalence. 267-273 - Rüdiger Gebauer, H. Michael Möller:
On an Installation of Buchberger's Algorithm. 275-286 - Franz Winkler:
A p-Adic Approach to the Computation of Gröbner Bases. 287-304 - Alfonso Miola, Teo Mora:
Constructive Lifting in Graded Structures: A Unified View of Buchberger and Hensel Methods. 305-322 - Michela Brundu
, Fabio Rossi:
On the Computation of Generalized Standard Bases. 323-343 - H. Michael Möller:
On the Construction of Gröbner Bases Using Syzygies. 345-359 - Joachim Apel, Wolfgang Lassner:
An Extension of Buchberger's Algorithm and Calculations in Enveloping Fields of Lie Algebras. 361-370 - Tatiana Gateva-Ivanova, Victor Latyshev:
On Recognisable Properties of Associative Algebras. 371-388
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 2025-12-09 00:14 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:
