An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination

Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama. An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Theoretical Computer Science, 479:43-69, 2013. [doi]

Abstract

Abstract is missing.