A Variational Proof of Alexandrov's Convex Cap Theorem.
Ivan IzmestievPublished in: Discret. Comput. Geom. (2008)
Keyphrases
- interactive theorem proving
- theorem prover
- image segmentation
- convex optimization
- theorem proving
- split bregman method
- convex hull
- convex sets
- optimal solution
- piecewise linear
- variational methods
- free energy
- convex programming
- linear logic
- constrained minimization
- complete axiomatization
- mathematical proofs
- optical flow