Bounds for the degrees in the Nullstellensatz
From MaRDI portal
Publication:1100521
DOI10.2307/1971361zbMath0641.14001OpenAlexW2037615924WikidataQ56138190 ScholiaQ56138190MaRDI QIDQ1100521
Publication date: 1987
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1971361
Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Transcendence (general theory) (11J81) Relevant commutative algebra (14A05)
Related Items (only showing first 100 items - show all)
The membership problem for polynomial ideals in terms of residue currents ⋮ Two variants of Hilbert’s Nullstellensatz ⋮ \(\bar{\partial}\)-equation look at analytic Hilbert's zero-locus theorem ⋮ Algorithmic aspects of Suslin's proof of Serre's conjecture ⋮ On the efficiency of effective Nullstellensätze ⋮ Un procédé d'élimination effective et quelques applications. (A procedure for effective elimination and some applications.) ⋮ On polynomial ideals, their complexity, and applications ⋮ Unnamed Item ⋮ Bounds on degrees of projective schemes ⋮ Small degree solutions for the polynomial Bezout equation ⋮ Computing final polynomials and final syzygies using Buchberger's Gröbner bases method ⋮ Bounds of traces in complete intersections and degrees in the Nullstellensatz ⋮ Lower bounds for diophantine approximations ⋮ Bounds for the Hilbert function of polynomial ideals and for the degrees in the Nullstellensatz ⋮ Cauchy-Riemann \(\bar{\partial}\)-equations with some applications ⋮ Complexity of Membership Problems of Different Types of Polynomial Ideals ⋮ Separation of real algebraic sets and the Łojasiewicz exponent ⋮ Effective Bezout identities in \({\mathbb{Q}}[z_ 1,\dots ,z_ n\)] ⋮ A Pommaret bases approach to the degree of a polynomial ideal ⋮ Sum of squares and the Łojasiewicz exponent at infinity ⋮ On the intractability of Hilbert's Nullstellensatz and an algebraic version of ``\(NP\neq P\)? ⋮ On the complexity of computing syzygies ⋮ On the complexity exponent of polynomial system solving ⋮ Analytic Bezout identities ⋮ Families of Algebraic Varieties Parametrized by Topological Spaces ⋮ Straight-line programs in geometric elimination theory ⋮ A refutational approach to geometry theorem proving ⋮ Binomial ideals ⋮ Some remarks about algebraic independence measures in high dimension ⋮ On a generalization of Stickelberger's theorem ⋮ On the complexity of finding tensor ranks ⋮ Castelnuovo-Mumford regularity and computing the de Rham cohomology of smooth projective varieties ⋮ Explicit representation of membership in polynomial ideals ⋮ Computation of differential Chow forms for ordinary prime differential ideals ⋮ Elimination ideals and Bézout relations ⋮ Extensions of regular mappings and the Łojasiewicz exponent at infinity ⋮ Division theorems for exact sequences ⋮ Continuity properties for flat families of polynomials. I: Continuous parametrizations ⋮ On the Noether exponent and other applications of local intersection index ⋮ Sparse effective membership problems via residue currents ⋮ On bounds for the effective differential Nullstellensatz ⋮ New effective differential Nullstellensatz ⋮ Partial differential Chow forms and a type of partial differential Chow varieties ⋮ Chow form for projective differential variety ⋮ Finite Type and the Effective Nullstellensatz ⋮ Proof mining and effective bounds in differential polynomial rings ⋮ Generalised characteristic polynomials ⋮ Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz ⋮ The Combinatorial Nullstellensätze revisited ⋮ Test ideals of non-principal ideals: computations, jumping numbers, alterations and division theorems ⋮ An estimate of approximation constants for \(p\)-adic and real varieties ⋮ On the number of zero-patterns of a sequence of polynomials ⋮ Using elimination theory to construct rigid matrices ⋮ Computational algebraic geometry of projective configurations ⋮ Recent improvements in the complexity of the effective Nullstellensatz ⋮ Elimination theory in differential and difference algebra ⋮ Equations for the projective closure and effective Nullstellensatz ⋮ The membership problem for unmixed polynomial ideals is solvable in single exponential time ⋮ An effective residual criterion for the membership problem in \(\mathbb{C} [z_ 1,\cdots{} ,z_ n\)] ⋮ Grete Hermann and effective methods in geometry ⋮ Time-space tradeoffs in algebraic complexity theory ⋮ Expressing Combinatorial Problems by Systems of Polynomial Equations and Hilbert's Nullstellensatz ⋮ Tropical effective primary and dual Nullstellensätze ⋮ An estimate for the degree bound of a matrix of polynomials ⋮ Algebraic cycles from a computational point of view ⋮ Difference Chow form ⋮ Analytic residues along algebraic cycles ⋮ The product of matrix subspaces ⋮ A bound for orders in differential Nullstellensatz ⋮ Division theorems for the Koszul complex ⋮ Gröbner bases and combinatorics for binary codes ⋮ An analytic approach to the degree bound in the Nullstellensatz ⋮ The Generic Degree of Autonomy ⋮ Théorème des zéros effectif et élimination ⋮ Polynomial bounds in polynomial rings over fields ⋮ Bounds for the degrees of the entries of left inverses of polynomial matrices ⋮ Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields ⋮ Effective formulas for the Łojasiewicz exponent at infinity ⋮ Effective de Rham cohomology — The general case ⋮ On degree bounds for the sparse Nullstellensatz ⋮ Good degree bounds on Nullstellensatz refutations of the induction principle ⋮ Complexity bounds in elimination theory -- a survey. ⋮ Multidimensional residues and complexity problems. ⋮ On the complexity of counting components of algebraic varieties ⋮ Local Diophantine Nullstellen Inequalities ⋮ Almost commuting matrices with respect to the rank metric ⋮ A sparse effective Nullstellensatz ⋮ Unnamed Item ⋮ Linear representations of random groups ⋮ Effective difference elimination and nullstellensatz ⋮ Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form ⋮ An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs ⋮ Mathematical problems for the next century ⋮ On the effective Nullstellensatz ⋮ Index of nilpotency of binomial ideals. ⋮ Hilbert's Nullstellensatz for analytic trigonometric polynomials ⋮ Global effective versions of the Briançon-Skoda-Huneke theorem ⋮ Output feedback stabilizability and stabilization algorithms for 2D systems ⋮ How to compute the Chow form of an unmixed polynomial ideal in single exponential time ⋮ Sparse differential resultant for Laurent differential polynomials
This page was built for publication: Bounds for the degrees in the Nullstellensatz
