A Computer-Assisted Proof of Correctness of a Marching Cubes Algorithm.

Andrey N. Chernikov Jing Xu

Published in: IMR (2013)

Keyphrases

computer assisted
computer aided
intraoperative
provably correct
foreign language
theorem proving
machine learning
theorem prover
linear logic
surgical training
neural network
image processing