Volume 29, Number 1, January 2000
, Igor Pak
: Fast Constructive Recognition of a Black Box Group Isomorphic to Sn or An using Goldbach's Conjecture.
David A. Wolfram
: A Formula for the General Solution of a Constant-coefficient Difference Equation.
: SFA, a Package on Symmetric Functions Considered as Operators over the Ring of Polynomials for the Computer Algebra System Maple.
Volume 29, Number 2, February 2000
Advances in First-order Theorem Proving
, Nicolas Peltier
: Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models.
: Speeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria.
: Controlled Use of Clausal Lemmas in Connection Tableau Calculi.
: Connection Calculus Theorem Proving with Multiple Built-in Theories.
Volume 29, Number 3, March 2000
: Solving Systems of Strict Polynomial Inequalities.
Volume 29, Numbers 4-5, May 2000
Symbolic Computation in Algebra, Analysis, and Geometry
: Applications of Some Properties of the Canonical Module in Computational Projective Algebraic Geometry.
Edward L. Green
: Multiplicative Bases, Gröbner Bases, and Right Gröbner Bases.
: Factorization-free Decomposition Algorithms in Differential Algebra.
: Weyl Closure of a Linear Differential Operator.
: Toric Newton Method for Polynomial Homotopies.
: Algorithmic Computation of de Rham Cohomology of Complements of Complex Affine Varieties.
Volume 29, Number 6, June 2000
: On Solutions of Linear Ordinary Difference Equations in their Coefficient Field.
: Challenges of Symbolic Computation: My Favorite Open Problems.
: An Algorithm to Compute the Kernel of a Derivation up to a Certain Degree.
, Josef Schicho
: Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition.