Pages that link to "Item:Q1100521"
From MaRDI portal
The following pages link to Bounds for the degrees in the Nullstellensatz (Q1100521):
Displaying 50 items.
- On the Noether exponent and other applications of local intersection index (Q428766) (← 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)
- 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)
- Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz (Q650840) (← links)
- An estimate for the degree bound of a matrix of polynomials (Q682194) (← links)
- Division theorems for the Koszul complex (Q715202) (← links)
- Polynomial bounds in polynomial rings over fields (Q752093) (← 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)
- How to compute the Chow form of an unmixed polynomial ideal in single exponential time (Q809149) (← links)
- The membership problem for polynomial ideals in terms of residue currents (Q818300) (← links)
- Computation of differential Chow forms for ordinary prime differential ideals (Q895970) (← links)
- On bounds for the effective differential Nullstellensatz (Q907329) (← links)
- New effective differential Nullstellensatz (Q908094) (← links)
- Generalised characteristic polynomials (Q916718) (← links)
- Gröbner bases and combinatorics for binary codes (Q985374) (← links)
- Effective formulas for the Łojasiewicz exponent at infinity (Q1020962) (← links)
- On the complexity of counting components of algebraic varieties (Q1030247) (← links)
- Small degree solutions for the polynomial Bezout equation (Q1101491) (← links)
- On the complexity of computing syzygies (Q1117693) (← links)
- Analytic Bezout identities (Q1120699) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- An estimate of approximation constants for \(p\)-adic and real varieties (Q1173609) (← 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)
- 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)
- Output feedback stabilizability and stabilization algorithms for 2D systems (Q1316208) (← 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)
- Straight-line programs in geometric elimination theory (Q1380007) (← links)
- Continuity properties for flat families of polynomials. I: Continuous parametrizations (Q1408354) (← links)
- Complexity bounds in elimination theory -- a survey. (Q1565824) (← links)
- Multidimensional residues and complexity problems. (Q1565827) (← links)
- Mathematical problems for the next century (Q1582494) (← links)
- A Pommaret bases approach to the degree of a polynomial ideal (Q1656829) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- Elimination theory in differential and difference algebra (Q1730314) (← links)
- Tropical effective primary and dual Nullstellensätze (Q1745195) (← links)
- Analytic residues along algebraic cycles (Q1763423) (← links)
