Changbo Chen, Marc Moreno Maza. Quantifier elimination by cylindrical algebraic decomposition based on regular chains. Journal of Symbolic Computation, 75:74-93, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.