TY  - RPRT
TI  - From Approximate Factorization to Root Isolation with Application to Cylindrical Algebraic Decomposition
AU  - Kurt Mehlhorn
AU  - Michael Sagraloff
AU  - Pengming Wang
PY  - 2014
UR  - https://arxiv.org/abs/1301.4870
ID  - 1301.4870
ER  -