Erratum to "Automation for interactive proof: First prototype" [Inform. and Comput. 204(2006) 1575-1596].
Jia MengClaire QuigleyLawrence C. PaulsonPublished in: Inf. Comput. (2006)
Keyphrases
- user friendly
- virtual reality
- user interaction
- interactive video
- draw conclusions
- highly interactive
- theorem proving
- theorem prover
- computer graphics
- information retrieval systems
- multiscale
- visualization tool
- virtual environment
- digital libraries
- learning environment
- test bed
- computer vision
- graphical interface
- interactive systems
- artificial intelligence
- machine learning
- databases