C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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