Publication Details Proof of Correctness of a Marching Cubes Algorithm Carried out with Coq Andrey Chernikov, Jing Xu. Published in Computational Geometry: Theory, Applications Publisher Elsevier March 2015. 2015 Abstract Abstract not available from scrape. PDF BibTeX Return to Publication List
