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