Animating Formal Proof at the Surface: The Jape Proof Calculator.

Richard Bornat Bernard Sufrin

Published in: Comput. J. (1999)

Keyphrases

formal proof
theorem prover
surface reconstruction
three dimensional
d objects
surface model
first order logic
virtual humans
range images
range data
object recognition
inference rules
video sequences
theorem proving
visual hull
object surface
shape recovery
machine learning