TPS: A hybrid automatic-interactive system for developing proofs.

Peter B. Andrews Chad E. Brown

Published in: J. Appl. Log. (2006)

Keyphrases

virtual reality
semi automatic
data driven
multi view
computer graphics
theorem proving
learning algorithm
artificial intelligence
search engine
feature selection
knowledge base
user friendly
hybrid learning
decision procedures
interactive video