Formalizing Convex Hull Algorithms

David Pichardie, Yves Bertot. Formalizing Convex Hull Algorithms. In Richard J. Boulton, Paul B. Jackson, editors, Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings. Volume 2152 of Lecture Notes in Computer Science, pages 346-361, Springer, 2001. [doi]

Abstract

Abstract is missing.