The following pages link to (Q3902405):
Displaying 17 items.
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- On the ''Piano Movers'' problem. II: General techniques for computing topological properties of real algebraic manifolds (Q760006) (← links)
- An implementation of Vincent's theorem (Q1142536) (← links)
- Bounds on a polynomial (Q1157879) (← links)
- A singly exponential stratification scheme for real semi-algebraic varieties and its applications (Q1177933) (← links)
- On the forgotten theorem of Mr. Vincent (Q1251646) (← links)
- An efficient method for analyzing the topology of plane real algebraic curves. (Q1565839) (← links)
- Univariate real root isolation in an extension field and applications (Q1757003) (← links)
- Automated proof of mixed trigonometric-polynomial inequalities (Q2188988) (← links)
- A conflict-driven solving procedure for poly-power constraints (Q2303230) (← links)
- Positive root isolation for poly-powers by exclusion and differentiation (Q2409014) (← links)
- An algorithm for generalized point location and its applications (Q2639635) (← links)
- Polynomial Minimum Root Separation (Q4190721) (← links)
- Distance entre les racines d'un polynôme (Q4197291) (← links)
- The Root Separation of Polynomials and Some Applications (Q4847523) (← links)
- Isolating all the real roots of a mixed trigonometric-polynomial (Q6051116) (← links)
- Reachability analysis of linear systems (Q6592109) (← links)
