The following pages link to Efficient real root approximation (Q5254174):
Displaying 7 items.
- Exact symbolic-numeric computation of planar algebraic curves (Q387800) (← links)
- Root refinement for real polynomials using quadratic interval refinement (Q484890) (← links)
- A worst-case bound for topology computation of algebraic curves (Q765857) (← links)
- Nearly optimal refinement of real roots of a univariate polynomial (Q898253) (← links)
- From approximate factorization to root isolation with application to cylindrical algebraic decomposition (Q2252120) (← links)
- Theorem of three circles in Coq (Q2351412) (← links)
- On the complexity of the Descartes method when using approximate arithmetic (Q2447639) (← links)
