Computation of real radicals of polynomial ideals — II

Abstract In the present paper we describe an algorithm for the computation of real radicals of polynomial ideals. Moreover, results concerning the computational requirements and the complexity as well as some theoretical consequences are presented.

[1]  Alexander Prestel,et al.  Lectures On Formally Real Fields , 1976 .

[2]  Hidetsune Kobayashi,et al.  On Radical Zero-Dimensional Ideals , 1989, J. Symb. Comput..

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

[4]  Heinz Kredel,et al.  Computing Dimension and Independent Sets for Polynomial Ideals , 1988, J. Symb. Comput..

[5]  Géométrie Algébrique Réelle et Formes Quadratiques , 1982 .

[6]  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..

[7]  Marc Giusti,et al.  Some Effectivity Problems in Polynomial Ideal Theory , 1984, EUROSAM.

[8]  A. Seidenberg.  Constructions in algebra , 1974 .

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

[10]  Y. N. Lakshman,et al.  On the complexity of computing a Gröbner basis for the radical of a zero dimensional ideal , 1990, STOC '90.

[11]  Teresa Krick,et al.  An Algorithm for the Computation of the Radical of an Ideal in the Ring of Polynomials , 1991, AAECC.

[12]  M-F Roy,et al.  Géométrie algébrique réelle , 1987 .

[13]  Teo Mora,et al.  Local Decomposition Algorithms , 1990, AAECC.

[14]  T. W. Dube.  Quantitative analysis of problems in computer algebra: grobner bases and the nulstellensatz , 1989 .

[15]  D. Dubois.  A nullstellensatz for ordered fields , 1970 .

[16]  Manfred Knebusch,et al.  Einführung in die reelle Algebra , 1989 .

[17]  T. Lam,et al.  Orderings under field extensions. , 1979 .

[18]  Ernst Kunz,et al.  Einführung in die kommutative Algebra und algebraische Geometric , 1980 .

[19]  E. Becker.  Valuations and real places in the theory of formally real fields , 1982 .

[20]  Lorenzo Robbiano,et al.  Computational aspects of commutative algebra , 1989 .

[21]  Patrizia M. Gianni,et al.  Algebraic Solution of Systems of Polynomial Equations Using Groebner Bases , 1987, AAECC.

[22]  Tsit Yuen Lam,et al.  An introduction to real algebra , 1984 .