System Description: Interactive Proof Critics in XBarnacle.

Mike Jackson Helen Lowe

Published in: CADE (2000)

Keyphrases

precise definition
highly interactive
user friendly
theorem proving
database systems
computer graphics
machine learning
search algorithm
mathematical proofs
theorem prover
user interaction
data analysis
video sequences
data structure
bayesian networks
high level
case study
knowledge base
computer vision