Sharp Effective Nullstellensatz
From MaRDI portal
Publication:4731274
DOI10.2307/1990996zbMath0682.14001OpenAlexW4231656836WikidataQ56138191 ScholiaQ56138191MaRDI QIDQ4731274
Publication date: 1988
Published in: Journal of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1990996
Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Relevant commutative algebra (14A05)
Related Items (only showing first 100 items - show all)
The membership problem for polynomial ideals in terms of residue currents ⋮ Łojasiewicz inequalities with explicit exponents for smallest singular value functions ⋮ \(\bar{\partial}\)-equation look at analytic Hilbert's zero-locus theorem ⋮ Computation with Polynomial Equations and Inequalities Arising in Combinatorial Optimization ⋮ Un procédé d'élimination effective et quelques applications. (A procedure for effective elimination and some applications.) ⋮ Metric properties of semialgebraic mappings ⋮ Une formule de Jacobi et ses conséquences ⋮ Bounds on degrees of projective schemes ⋮ Variants of the Effective Nullstellensatz and Residue Calculus ⋮ A note on separation of algebraic sets and the Łojasiewicz exponent for polynomial mappings ⋮ Division formulas on projective varieties ⋮ 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 ⋮ Associated primes and arithmetic degrees ⋮ Constraints on counterexamples to the Casas-Alvero conjecture and a verification in degree 12 ⋮ Cauchy-Riemann \(\bar{\partial}\)-equations with some applications ⋮ Separation of real algebraic sets and the Łojasiewicz exponent ⋮ Effective Bezout identities in \({\mathbb{Q}}[z_ 1,\dots ,z_ n\)] ⋮ A tracial Nullstellensatz ⋮ A Pommaret bases approach to the degree of a polynomial ideal ⋮ Towards a theory of arithmetic degrees ⋮ Straight-line programs in geometric elimination theory ⋮ Binomial ideals ⋮ Roots of unity and torsion points of abelian varieties ⋮ 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 ⋮ Multiplicity operators ⋮ Explicit representation of membership in polynomial ideals ⋮ About a non-standard interpolation problem ⋮ On a tropical dual Nullstellensatz ⋮ Some variants of Macaulay's and Max Noether's theorems ⋮ The minimal components of the Mayr-Meyer ideals. ⋮ Elimination ideals and Bézout relations ⋮ Extensions of regular mappings and the Łojasiewicz exponent at infinity ⋮ Continuity properties for flat families of polynomials. I: Continuous parametrizations ⋮ Sparse effective membership problems via residue currents ⋮ On bounds for the effective differential Nullstellensatz ⋮ The isomorphism problem for some universal operator algebras ⋮ New effective differential Nullstellensatz ⋮ Finite Type and the Effective Nullstellensatz ⋮ Proof mining and effective bounds in differential polynomial rings ⋮ Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz ⋮ The Combinatorial Nullstellensätze revisited ⋮ Effective Nullstellensatz for arbitrary ideals ⋮ Test ideals of non-principal ideals: computations, jumping numbers, alterations and division theorems ⋮ Łojasiewicz inequality for a pair of semialgebraic functions ⋮ 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 ⋮ Gröbner bases for spaces of quadrics of low codimension. ⋮ On some generalizations of Jacobi's residue formula ⋮ 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 ⋮ Random arithmetic formulas can be reconstructed efficiently ⋮ Time-space tradeoffs in algebraic complexity theory ⋮ The complexity of local dimensions for constructible sets ⋮ Expressing Combinatorial Problems by Systems of Polynomial Equations and Hilbert's Nullstellensatz ⋮ On the effective computation of Łojasiewicz exponents via Newton polyhedra ⋮ Uniform bounds in noetherian rings ⋮ Tropical effective primary and dual Nullstellensätze ⋮ On the idea(l) of logical closure ⋮ The Łojasiewicz exponent at infinity of non-negative and non-degenerate polynomials ⋮ On generating series of finitely presented operads ⋮ Analytic residues along algebraic cycles ⋮ Global Łojasiewicz-type inequality for non-degenerate polynomial maps ⋮ The product of matrix subspaces ⋮ A bound for orders in differential Nullstellensatz ⋮ A generic effective Nullstellensatz ⋮ Effective detection of nonsplit module extensions. ⋮ An analytic approach to the degree bound in the Nullstellensatz ⋮ Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients ⋮ A global smooth version of the classical Łojasiewicz inequality ⋮ A promenade through correct test sequences. I: Degree of constructible sets, Bézout's inequality and density ⋮ Need Polynomial Systems Be Doubly-Exponential? ⋮ 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 ⋮ Ideal membership in polynomial rings over the integers ⋮ Geometric complexity theory V: Efficient algorithms for Noether normalization ⋮ On degree bounds for the sparse Nullstellensatz ⋮ Good degree bounds on Nullstellensatz refutations of the induction principle ⋮ Complexity bounds in elimination theory -- a survey. ⋮ On the complexity of counting components of algebraic varieties ⋮ A sparse effective Nullstellensatz ⋮ Unnamed Item ⋮ Effective difference elimination and nullstellensatz ⋮ An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs ⋮ Tight relaxations for polynomial optimization and Lagrange multiplier expressions ⋮ On the complexity of the real Nullstellensatz in the 0-dimensional case ⋮ On the effective Nullstellensatz ⋮ Interpolation of ideals ⋮ Index of nilpotency of binomial ideals. ⋮ Hilbert's Nullstellensatz for analytic trigonometric polynomials ⋮ Global effective versions of the Briançon-Skoda-Huneke theorem ⋮ Computing the Sullivan Milnor-Moore S. S. and the rational LS category of certain spaces
This page was built for publication: Sharp Effective Nullstellensatz
