Mechanical Theorem Proving in Computational Geometry.
Laura I. MeikleJacques D. FleuriotPublished in: Automated Deduction in Geometry (2004)
Keyphrases
- theorem proving
- computational geometry
- computer graphics
- complexity theory
- first order logic
- theorem prover
- parallel search
- automated reasoning
- convex hull
- term rewriting
- inference rules
- consequence finding
- uniform sampling
- voronoi diagram
- proof planning
- decision procedures
- proof procedure
- nearest neighbor searching
- computer vision
- parametric curves
- automated theorem proving
- geometry theorem proving
- point sets
- high dimensional
- artificial intelligence
- proof search
- supervised learning
- feature space