The following pages link to (Q5389777):
Displayed 20 items.
- Variant quantifier elimination (Q420753) (← links)
- Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces (Q431820) (← links)
- Real root finding for determinants of linear matrices (Q898255) (← links)
- On sign conditions over real multivariate polynomials (Q977180) (← links)
- On the intrinsic complexity of point finding in real singular hypersurfaces (Q990944) (← links)
- A hybrid procedure for finding real points on a real algebraic set (Q1730309) (← links)
- Homotopy techniques for solving sparse column support determinantal polynomial systems (Q1979422) (← links)
- Smooth points on semi-algebraic sets (Q2100053) (← links)
- Intrinsic complexity estimates in polynomial optimization (Q2251913) (← links)
- On the geometry of polar varieties (Q2267371) (← links)
- Degeneracy loci and polynomial equation solving (Q2340506) (← links)
- Generalized polar varieties: geometry and algorithms (Q2387411) (← links)
- A concise proof of the Kronecker polynomial system solver from scratch (Q2427141) (← links)
- Polar Varieties Revisited (Q2808010) (← links)
- Point searching in real singularcomplete intersection varieties: algorithms of intrinsic complexity (Q2871188) (← links)
- Fast computation of a rational point of a variety over a finite field (Q3420246) (← links)
- Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping (Q3597979) (← links)
- Faster real root decision algorithm for symmetric polynomials (Q6081968) (← links)
- Early Ending in Homotopy Path-Tracking for Real Roots (Q6108824) (← links)
- Computing roadmaps in unbounded smooth real algebraic sets. I: Connectivity results (Q6170822) (← links)