Publication Details A Computer-Assisted Proof of Correctness of a Marching Cubes Algorithm Andrey Chernikov, Jing Xu. Published in 22 International Meshing Roundtable pages 505 -- 523 Orlando FL October 2013. 2013 Abstract Abstract not available from scrape. PDF BibTeX Return to Publication List
