Login / Signup

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

Hidenao IwaneHitoshi YanamiHirokazu AnaiKazuhiro Yokoyama
Published in: Theor. Comput. Sci. (2013)
Keyphrases
  • quantifier elimination
  • functional programming
  • presburger arithmetic
  • general purpose
  • linear programming
  • constraint propagation
  • cardinality constraints
  • algebraic structure