complexity analysis, computational geometry, convex hull, correctness proof, divide-and-conquer, prune-and-search, QuickHull
The planar convex hull problem is fundamental to computational geometry and has many applications, including pattern recognition and image processing. QuickHull is a simple planar convex hull algorithm analogous to Hoare’s QuickSort . This paper presents a pedagogical description and analysis of a QuickHull algorithm, along with a formal proof of correctness.
Greenfield,, Jonathan Scott, "A Proof for a QuickHull Algorithm" (1990). Electrical Engineering and Computer Science Technical Reports. 65.