IMPS: An Interactive Mathematical Proof System.

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

Published in: CADE (1990)

Keyphrases

modal logic
user friendly
real world
machine learning
computer graphics
graphical interface
product configuration
mathematical expressions
real time
artificial intelligence
database systems
artificial neural networks
virtual reality
interactive learning
computer algebra systems