Algorithms for the Shape of Semialgebraic Sets. A New Approach

[1]  Wolmer V. Vasconcelos,et al.  Jacobian Matrices and Constructions in Algebra , 1991, AAECC.

[2]  Patrizia M. Gianni,et al.  Gröbner Bases and Primary Decomposition of Polynomial Ideals , 1988, J. Symb. Comput..

[3]  Michel Coste,et al.  Thom's Lemma, the Coding of Real Algebraic Numbers and the Computation of the Topology of Semi-Algebraic Sets , 1988, J. Symb. Comput..

[4]  Felipe Cucker,et al.  On the Computation of the Local and Global Analytic Branches of a Real Algebraic Curve , 1987, AAECC.

[5]  Stefan Arnborg,et al.  Algebraic Decomposition of Regular Curves , 1988, J. Symb. Comput..

[6]  George E. Collins,et al.  Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane , 1984, SIAM J. Comput..

[7]  Erich Kaltofen,et al.  On the complexity of computing grobner bases for zero-dimensional polynomial ideals , 1990 .

[8]  Scott McCallum,et al.  A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve , 1984, J. Symb. Comput..

[9]  B. Buchberger,et al.  Grobner Bases : An Algorithmic Method in Polynomial Ideal Theory , 1985 .

[10]  Laureano González-Vega.  Working with real algebraic plane curves in REDUCE the GCUR package , 1991, ISSAC '91.

[11]  Carlo Traverso,et al.  Experimenting the Gröbner basis algorithm with the A1PI system , 1989, ISSAC '89.

[12]  Y. N. Lakshman.  A Single Exponential Bound on the Complexity of Computing Gröbner Bases of Zero Dimensional Ideals , 1991 .

[13]  George E. Collins,et al.  Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

[14]  H. Stetter,et al.  An Elimination Algorithm for the Computation of All Zeros of a System of Multivariate Polynomial Equations , 1988 .

[15]  Joos Heintz,et al.  Algorithmes – disons rapides – pour la décomposition d’une variété algébrique en composantes irréductibles et équidimensionnelles , 1991 .

[16]  Philip S. Milne.  On the algorithms and implementation of a geometric algebra system , 1990 .

[17]  Felipe Cucker,et al.  On algorithms for real algebraic plane curves , 1991 .

[18]  Maria Grazia Marinari,et al.  Gröbner bases of ideals given by dual bases , 1991, ISSAC '91.

[19]  Michael Stillman.  Methods for computing in algebraic geometry and commutative algebra Rome, March 1990 , 1990 .