The following pages link to (Q5389777):
Displaying 6 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)
- Computing roadmaps in unbounded smooth real algebraic sets. I: Connectivity results (Q6170822) (← links)
