Quantifier Elimination for Real Algebra - the Cubic Case.

Volker Weispfenning

Published in: ISSAC (1994)

Keyphrases

quantifier elimination
constraint propagation
functional programming
presburger arithmetic
video sequences
general purpose
cardinality constraints
constraint databases
knowledge base
expert systems