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

Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems.

Ryoya FukasakuHidenao IwaneYosuke Sato
Published in: ISSAC (2015)
Keyphrases
  • quantifier elimination
  • distributed systems
  • artificial intelligence
  • general purpose
  • data management
  • heuristic search
  • temporal information
  • constraint propagation
  • numerically stable