Login / Signup
Solving Geometric Problems with Real Quantifier Elimination.
Andreas Dolzmann
Published in:
Automated Deduction in Geometry (1998)
Keyphrases
</>
quantifier elimination
optimization problems
artificial intelligence
natural language
constraint databases