IMPS: An Interactive Mathematical Proof System.

William M. Farmer Joshua D. Guttman F. Javier Thayer

Published in: J. Autom. Reason. (1993)

Keyphrases

virtual reality
highly interactive
modal logic
user interaction
computer algebra systems
interactive video
graphical interface
database
search algorithm
data structure
user friendly
optimal solution
case study
product configuration
website
machine learning
real time