Volume 29, Number 1, January 2000
- B. F. Caviness:
- Hoon Hong:
- Ronald Brown, Anne Heyworth:
Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories.
- Sergey Bratus, Igor Pak:
Fast Constructive Recognition of a Black Box Group Isomorphic to Sn or An using Goldbach's Conjecture.
- Sarah Rees, Leonard H. Soicher:
An Algorithmic Approach to Fundamental Groups and Covers of Combinatorial Cell Complexes.
- David A. Wolfram:
A Formula for the General Solution of a Constant-coefficient Difference Equation.
- Vincent Prosper:
SFA, a Package on Symmetric Functions Considered as Operators over the Ring of Polynomials for the Computer Algebra System Maple.
- John Carminati, Khai Vu:
Symbolic Computation and Differential Equations: Lie Symmetries.
Volume 29, Number 2, February 2000 Advances in First-order Theorem Proving
Volume 29, Number 3, March 2000
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.
- Laurent Busé, Mohamed Elkadi, Bernard Mourrain:
Generalized Resultants over Unirational Algebraic Varieties.
- Marc Chardin:
Applications of Some Properties of the Canonical Module in Computational Projective Algebraic Geometry.
- Wolfram Decker, Frank-Olaf Schreyer:
Non-general Type Surfaces in P4: Some Remarks on Bounds and Constructions.
- David Eisenbud, Mircea Mustala, Michael Stillman:
Cohomology on Toric Varieties and Local Cohomology with Monomial Supports.
- Edward L. Green:
Multiplicative Bases, Gröbner Bases, and Right Gröbner Bases.
- Serkan Hosten, Jay Shapiro:
Primary Decomposition of Lattice Basis Ideals.
- Evelyne Hubert:
Factorization-free Decomposition Algorithms in Differential Algebra.
- Henri Lombardi, Marie-Françoise Roy, Mohab Safey El Din:
New Structure Theorem for Subresultants.
- Ezra Miller, Bernd Sturmfels, Kohji Yanagawa:
Generic and Cogeneric Monomial Ideals.
- Mircea Mustala:
Local Cohomology at Monomial Ideals.
- Toshinori Oaku, Nobuki Takayama, Uli Walther:
A Localization Algorithm for D-modules.
- Gregory G. Smith:
Computing Global Extension Modules.
- Harrison Tsai:
Weyl Closure of a Linear Differential Operator.
- Jan Verschelde:
Toric Newton Method for Polynomial Homotopies.
- Uli Walther:
Algorithmic Computation of de Rham Cohomology of Complements of Complex Affine Varieties.
Volume 29, Number 6, June 2000
Last update Thu May 23 15:13:11 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page