Andrey N. Chernikov, Jing Xu. A Computer-Assisted Proof of Correctness of a Marching Cubes Algorithm. In Josep Sarrate, Matthew L. Staten, editors, Proceedings of the 22nd International Meshing Roundtable, IMR 2013, October 13-16, 2013, Orlando, FL, USA. pages 505-523, Springer, 2013. [doi]
Abstract is missing.