Login / Signup

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

Hidenao IwaneHitoshi YanamiHirokazu AnaiKazuhiro Yokoyama
Published in: SNC (2009)
Keyphrases
  • quantifier elimination
  • functional programming
  • constraint propagation
  • search space