Journal: Journal of Symbolic Computation

Volume 6, Issue 2/3

135 -- 147David Bayer, Michael Stillman. On the Complexity of Computing Syzygies
149 -- 167Patrizia M. Gianni, Barry M. Trager, Gail Zacharias. Gröbner Bases and Primary Decomposition of Polynomial Ideals
169 -- 181Ruth Shtokhamer. Lifting Canonical Algorithms from a Ring R to the Ring R[x]
183 -- 208Teo Mora, Lorenzo Robbiano. The Gröbner Fan of an Ideal
209 -- 217David Bayer, Ian Morrison. Standard Bases and Geometric Invariant Theory I. Initial Ideals and State Polytopes
219 -- 230Giuseppa Carrà Ferro. Gröbner Bases and Hilbert Schemes. I
231 -- 247Heinz Kredel, Volker Weispfenning. Computing Dimension and Independent Sets for Polynomial Ideals
249 -- 265Marc Giusti. Combinatorial Dimension Theory of Algebraic Varieties
267 -- 273David Shannon, Moss Sweedler. Using Gröbner Bases to Determine Algebra Membership Split Surjective Algebra Homomorphisms Determine Birational Equivalence
275 -- 286Rüdiger Gebauer, H. Michael Möller. On an Installation of Buchberger s Algorithm
287 -- 304Franz Winkler. A p-Adic Approach to the Computation of Gröbner Bases
305 -- 322Alfonso Miola, Teo Mora. Constructive Lifting in Graded Structures: A Unified View of Buchberger and Hensel Methods
323 -- 343Michela Brundu, Fabio Rossi. On the Computation of Generalized Standard Bases
345 -- 359H. Michael Möller. On the Construction of Gröbner Bases Using Syzygies
361 -- 370Joachim Apel, W. Lassner. An Extension of Buchberger s Algorithm and Calculations in Enveloping Fields of Lie Algebras
371 -- 388Tatiana Gateva-Ivanova, Victor Latyshev. On Recognisable Properties of Associative Algebras

Volume 6, Issue 1

1 -- 18Leo Bachmair, Nachum Dershowitz. Critical Pair Criteria for Completion
19 -- 36Deepak Kapur, David R. Musser, Paliath Narendran. Only Prime Superpositions Need be Considered in the Knuth-Bendix Completion Procedure
37 -- 57Abdelilah Kandri-Rody, Deepak Kapur. Computing a Gröbner Basis of a Polynomial Ideal over a Euclidean Domain
59 -- 64Edmund F. Robertson. Tietze Transformations with Weighted Substring Search
65 -- 81Thomas J. Myers, Maya Gokhale. Parallel Scheduling of Recursively Defined Arrays
83 -- 98Domenico Cantone, Susanna Ghelfo, Eugenio G. Omodeo. The Automation of Syllogistic I. Syllogistic Normal Forms
99 -- 104Celia Wrathall. The Word Problem for Free Partially Commutative Groups
105 -- 111Gerhard O. Michler. An Algorithm for Determining the Simplicity of a Modular Group Representation
113 -- 115J. Dixmier, Daniel Lazard. Minimum Number of Fundamental Invariants for the Binary Form of Degree
117 -- 126Alexander Ollongren. On a Particular Restricted Five-Body Problem An Analysis with Computer Algebra
127 -- 132James H. Davenport. Computer Algebra Applied to Itself