The following pages link to Sharp Effective Nullstellensatz (Q4731274):
Displaying 50 items.
- Metric properties of semialgebraic mappings (Q309643) (← links)
- Division formulas on projective varieties (Q330007) (← links)
- On a tropical dual Nullstellensatz (Q408132) (← links)
- Some variants of Macaulay's and Max Noether's theorems (Q412523) (← links)
- The Combinatorial Nullstellensätze revisited (Q463059) (← links)
- Test ideals of non-principal ideals: computations, jumping numbers, alterations and division theorems (Q466547) (← links)
- Using elimination theory to construct rigid matrices (Q475335) (← links)
- Random arithmetic formulas can be reconstructed efficiently (Q488050) (← links)
- On a generalization of Stickelberger's theorem (Q607067) (← links)
- Explicit representation of membership in polynomial ideals (Q621306) (← links)
- Extensions of regular mappings and the Łojasiewicz exponent at infinity (Q630625) (← links)
- Sparse effective membership problems via residue currents (Q634801) (← links)
- The isomorphism problem for some universal operator algebras (Q635487) (← links)
- Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz (Q650840) (← links)
- A global smooth version of the classical Łojasiewicz inequality (Q743221) (← links)
- Bounds for the degrees of the entries of left inverses of polynomial matrices (Q752619) (← links)
- Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields (Q752692) (← links)
- Effective difference elimination and nullstellensatz (Q783738) (← links)
- The membership problem for polynomial ideals in terms of residue currents (Q818300) (← links)
- Multiplicity operators (Q891565) (← links)
- On bounds for the effective differential Nullstellensatz (Q907329) (← links)
- New effective differential Nullstellensatz (Q908094) (← links)
- Effective formulas for the Łojasiewicz exponent at infinity (Q1020962) (← links)
- On the complexity of counting components of algebraic varieties (Q1030247) (← links)
- Computational algebraic geometry of projective configurations (Q1176393) (← links)
- Recent improvements in the complexity of the effective Nullstellensatz (Q1177257) (← links)
- Equations for the projective closure and effective Nullstellensatz (Q1180147) (← links)
- The membership problem for unmixed polynomial ideals is solvable in single exponential time (Q1180154) (← links)
- An effective residual criterion for the membership problem in \(\mathbb{C} [z_ 1,\cdots{} ,z_ n]\) (Q1181467) (← links)
- Uniform bounds in noetherian rings (Q1187483) (← links)
- On the idea(l) of logical closure (Q1192341) (← links)
- Good degree bounds on Nullstellensatz refutations of the induction principle (Q1276164) (← links)
- A sparse effective Nullstellensatz (Q1291069) (← links)
- An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs (Q1295548) (← links)
- Lower bounds for diophantine approximations (Q1358914) (← links)
- Bounds for the Hilbert function of polynomial ideals and for the degrees in the Nullstellensatz (Q1358930) (← links)
- Associated primes and arithmetic degrees (Q1359020) (← links)
- Straight-line programs in geometric elimination theory (Q1380007) (← links)
- The minimal components of the Mayr-Meyer ideals. (Q1403895) (← links)
- Continuity properties for flat families of polynomials. I: Continuous parametrizations (Q1408354) (← links)
- Complexity bounds in elimination theory -- a survey. (Q1565824) (← links)
- On the complexity of the real Nullstellensatz in the 0-dimensional case (Q1584040) (← links)
- A Pommaret bases approach to the degree of a polynomial ideal (Q1656829) (← links)
- Roots of unity and torsion points of abelian varieties (Q1676055) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- Tropical effective primary and dual Nullstellensätze (Q1745195) (← links)
- The Łojasiewicz exponent at infinity of non-negative and non-degenerate polynomials (Q1757101) (← links)
- Analytic residues along algebraic cycles (Q1763423) (← links)
- A generic effective Nullstellensatz (Q1774958) (← links)
- Effective detection of nonsplit module extensions. (Q1779472) (← links)
