• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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