A real polynomial decision algorithm using arbitrary-precision floating point arithmetic
cylindrical algebraic decomposition algorithm
system of real polynomial equations and inequalities
scientific article; zbMATH DE number 1421494