Journal of Symbolic Computation, Volume 29, 2000

Volume 29, Number 1, January 2000

B. F. Caviness: Editorial. 1 BibTeX
Hoon Hong: Editorial. 3-4 BibTeX
Ronald Brown, Anne Heyworth: Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories. 5-31 BibTeX
Sergey Bratus, Igor Pak: Fast Constructive Recognition of a Black Box Group Isomorphic to Sn or An using Goldbach's Conjecture. 33-57 BibTeX
Sarah Rees, Leonard H. Soicher: An Algorithmic Approach to Fundamental Groups and Covers of Combinatorial Cell Complexes. 59-77 BibTeX
David A. Wolfram: A Formula for the General Solution of a Constant-coefficient Difference Equation. 79-82 BibTeX
Vincent Prosper: SFA, a Package on Symmetric Functions Considered as Operators over the Ring of Polynomials for the Computer Algebra System Maple. 83-94 BibTeX
John Carminati, Khai Vu: Symbolic Computation and Differential Equations: Lie Symmetries. 95-116 BibTeX

Volume 29, Number 2, February 2000

Advances in First-order Theorem Proving

Chandrabose Aravindan, Peter Baumgartner: Theorem Proving Techniques for View Deletion in Databases. 119-147 BibTeX
Matthias Baaz, Alexander Leitsch: Cut-elimination and Redundancy-elimination by Resolution. 149-177 BibTeX
Ricardo Caferra, Nicolas Peltier: Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models. 177-211 BibTeX
Reinhard Pichler: Speeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria. 213-257 BibTeX
Andrea Formisano, Eugenio G. Omodeo, Marco Temperini: Goals and Benchmarks for Automated Map Reasoning. 259-297 BibTeX
Marc Fuchs: Controlled Use of Clausal Lemmas in Connection Tableau Calculi. 299-341 BibTeX
Pedro J. Martín, Antonio Gavilanes, Javier Leach: Tableau Methods for a Logic with Term Declarations. 343-372 BibTeX
Uwe Petermann: Connection Calculus Theorem Proving with Multiple Built-in Theories. 373-392 BibTeX

Volume 29, Number 3, March 2000

Guoting Chen, Jean Della Dora: An Algorithm for Computing a New Normal Form for Dynamical Systems. 393-418 BibTeX
David A. Cox, Ronald N. Goldman, Ming Zhang: On the Validity of Implicitization by Moving Quadrics for Rational Surfaces with No Base Points. 419-440 BibTeX
Wayne Eberly, Mark Giesbrecht: Efficient Decomposition of Associative Algebras over Finite Fields. 441-458 BibTeX
Graziano Gentili, Michael A. O'Connor: On Rational Geometry of Conic Sections. 459-470 BibTeX
Adam Strzeboski: Solving Systems of Strict Polynomial Inequalities. 471-480 BibTeX

Volume 29, Numbers 4-5, May 2000

Symbolic Computation in Algebra, Analysis, and Geometry

Eduardo Cattani, Reinhard C. Laubenbacher: Special Issue on Symbolic Computation in Algebra, Analysis, and Geometry - Foreword of the Guest Editors. 483 BibTeX
Laurent Busé, Mohamed Elkadi, Bernard Mourrain: Generalized Resultants over Unirational Algebraic Varieties. 515-526 BibTeX
Marc Chardin: Applications of Some Properties of the Canonical Module in Computational Projective Algebraic Geometry. 527-544 BibTeX
Wolfram Decker, Frank-Olaf Schreyer: Non-general Type Surfaces in P4: Some Remarks on Bounds and Constructions. 545-582 BibTeX
David Eisenbud, Mircea Mustala, Michael Stillman: Cohomology on Toric Varieties and Local Cohomology with Monomial Supports. 583-600 BibTeX
Edward L. Green: Multiplicative Bases, Gröbner Bases, and Right Gröbner Bases. 601-623 BibTeX
Serkan Hosten, Jay Shapiro: Primary Decomposition of Lattice Basis Ideals. 625-639 BibTeX
Evelyne Hubert: Factorization-free Decomposition Algorithms in Differential Algebra. 641-662 BibTeX
Henri Lombardi, Marie-Françoise Roy, Mohab Safey El Din: New Structure Theorem for Subresultants. 663-689 BibTeX
Ezra Miller, Bernd Sturmfels, Kohji Yanagawa: Generic and Cogeneric Monomial Ideals. 691-708 BibTeX
Mircea Mustala: Local Cohomology at Monomial Ideals. 709-720 BibTeX
Toshinori Oaku, Nobuki Takayama, Uli Walther: A Localization Algorithm for D-modules. 721-728 BibTeX
Gregory G. Smith: Computing Global Extension Modules. 729-746 BibTeX
Harrison Tsai: Weyl Closure of a Linear Differential Operator. 747-775 BibTeX
Jan Verschelde: Toric Newton Method for Polynomial Homotopies. 777-793 BibTeX
Uli Walther: Algorithmic Computation of de Rham Cohomology of Complements of Complex Affine Varieties. 795-839 BibTeX

Volume 29, Number 6, June 2000

Manuel Bronstein: On Solutions of Linear Ordinary Difference Equations in their Coefficient Field. 841-877 BibTeX
Shuhong Gao, Joachim von zur Gathen, Daniel Panario, Victor Shoup: Algorithms for Exponentiation in Finite Fields. 879-889 BibTeX
Erich Kaltofen: Challenges of Symbolic Computation: My Favorite Open Problems. 891-919 BibTeX
Ursula Martin, Duncan Shand: Invariants, Patterns and Weights for Ordering Terms. 921-957 BibTeX
Stefan Maubach: An Algorithm to Compute the Kernel of a Derivation up to a Certain Degree. 959-970 BibTeX
Petru Pau, Josef Schicho: Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition. 971-983 BibTeX