Equations for the projective closure and effective Nullstellensatz

DOI10.1016/0166-218X(91)90105-6zbMath0751.14037MaRDI QIDQ1180147

Leandro Caniglia, Andre Galligo, Joos Heintz

Publication date: 27 June 1992

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

effective NullstellensatzGröbner basis algorithmprojective closure of an affine algebraic set

Mathematics Subject Classification ID

Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Relevant commutative algebra (14A05)

Related Items

Bounds for the Hilbert function of polynomial ideals and for the degrees in the Nullstellensatz, Efficient Groebner walk conversion for implicitization of geometric objects, Castelnuovo-Mumford regularity and computing the de Rham cohomology of smooth projective varieties, On the value set of small families of polynomials over a finite field. I, A new class of term orders for elimination, Factorization patterns on nonlinear families of univariate polynomials over a finite field, Effective de Rham cohomology — The general case, On the complexity of the real Nullstellensatz in the 0-dimensional case, A fast algorithm for Gröbner basis conversion and its applications, How to compute the Chow form of an unmixed polynomial ideal in single exponential time, On the number of solutions of systems of certain diagonal equations over finite fields

Cites Work

• On computing the determinant in small parallel time using a small number of processors
• Definability and fast quantifier elimination in algebraically closed fields
• Combinatorial dimension theory of algebraic varieties
• Bounds for the degrees in the Nullstellensatz
• Résolution des systèmes d'équations algébriques
• The membership problem for unmixed polynomial ideals is solvable in single exponential time
• The complexity of the word problems for commutative semigroups and polynomial ideals
• Nullstellensatz effectif et Conjecture de Serre (Théorème de Quillen-Suslin) pour le Calcul Formel
• Algèbre linéaire sur $K[X_1,\dots,X_n$ et élimination]
• Sharp Effective Nullstellensatz
• Complexity of standard bases in projective dimension zero
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item