The following pages link to (Q4204240):
Displaying 18 items.
- Sparse effective membership problems via residue currents (Q634801) (← links)
- Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields (Q752692) (← 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 algorithm for quantifier elimination over algebraically closed fields using straight line programs (Q1295548) (← links)
- Lower bounds for diophantine approximations (Q1358914) (← links)
- Associated primes and arithmetic degrees (Q1359020) (← links)
- Straight-line programs in geometric elimination theory (Q1380007) (← links)
- Complexity bounds in elimination theory -- a survey. (Q1565824) (← links)
- Analytic residues along algebraic cycles (Q1763423) (← links)
- Index of nilpotency of binomial ideals. (Q1858181) (← links)
- Bounds on degrees of projective schemes (Q1898136) (← links)
- Time-space tradeoffs in algebraic complexity theory (Q1977138) (← links)
- On the efficiency of effective Nullstellensätze (Q2366723) (← links)
- (Q4340887) (← links)
- Théorème des zéros effectif et élimination (Q4712448) (← links)
- An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem (Q5108709) (← links)
- A Gröbner free alternative for polynomial system solving (Q5938584) (← links)