Sign in
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