Quantifier elimination for elementary geometry and elementary affine geometry.

Rafael Grimson Bart Kuijpers Walied Othman

Published in: Math. Log. Q. (2012)

Keyphrases

quantifier elimination
databases
machine learning
object oriented
constraint propagation
functional programming