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]
No references recorded for this publication.
No citations of this publication recorded.