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
Sharp Effective Finite-Field Nullstellensatz, Solution of a conjecture of C. Berenstein - A. Yger and invariants of contact at infinity, Uniformly generated submodules of permutation modules over fields of characteristic 0., Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity, Computing bases of complete intersection rings in Noether position, Complexity of Null- and Positivstellensatz proofs, Łojasiewicz inequality at infinity for polynomials in two real variables, 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