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

Ryoya Fukasaku Hidenao Iwane Yosuke Sato

Published in: ISSAC (2015)

Keyphrases

quantifier elimination
distributed systems
artificial intelligence
general purpose
data management
heuristic search
temporal information
constraint propagation
numerically stable