Interval arithmetic in cylindrical algebraic decomposition
algebraic polynomial real root isolation
scientific article; zbMATH DE number 1886748
scientific article