Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination

Cyril Cohen Assia Mahboubi

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

formal proofs
quantifier elimination
algebraic geometry
constraint propagation
functional programming
presburger arithmetic
first order logic
machine learning
cardinality constraints
database
databases
natural language
lower bound
dynamic programming
knowledge representation