Login / Signup

CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems.

Ryoya FukasakuHidenao IwaneYosuke Sato
Published in: ACM Commun. Comput. Algebra (2016)
Keyphrases
  • quantifier elimination
  • distributed systems
  • machine learning
  • artificial intelligence
  • constraint propagation
  • numerically stable