Proving Computational Geometry Algorithms in TLA+2.

Hui Kong Hehua Zhang Xiaoyu Song Ming Gu Jiaguang Sun

Published in: TASE (2011)

Keyphrases

computational geometry
computer graphics
nearest neighbor searching
digital geometry
computer vision
uniform sampling
learning algorithm
training data
computationally efficient
convex hull
related problems
complexity theory