@inproceedings{pichardie:hal-01702679, TITLE = {{Formalizing Convex Hulls Algorithms}}, AUTHOR = {Pichardie, David and Bertot, Yves}, URL = {https://inria.hal.science/hal-01702679}, BOOKTITLE = {{TPHOLs 2001 - 14th International Conference Theorem Proving in Higher Order Logics}}, ADDRESS = {Edinburgh, United Kingdom}, PUBLISHER = {{Springer}}, SERIES = {TPHOLs 2001: Theorem Proving in Higher Order Logics}, VOLUME = {2152}, PAGES = {346-361}, YEAR = {2001}, MONTH = Sep, DOI = {10.1007/3-540-44755-5\_24}, PDF = {https://inria.hal.science/hal-01702679/file/hulls.pdf}, HAL_ID = {hal-01702679}, HAL_VERSION = {v1}, }