Fast Formal Proof of the Erdős-Szekeres Conjecture for Convex Polygons with at Most 6 Points.
Filip MaricPublished in: J. Autom. Reason. (2019)
Keyphrases
- formal proof
- convex hull
- minkowski sum
- point sets
- theorem prover
- digital convexity
- simple polygon
- data points
- convex polyhedra
- medial axis
- convex concave
- minimum distance
- piecewise linear
- point correspondences
- image sequences
- data sets
- stationary points
- discrete geometry
- endpoints
- convex optimization
- keypoints
- feature points