Keyphrases
- theorem proving
- theorem prover
- automated theorem proving
- user interaction
- computer graphics
- decision procedures
- inference rules
- artificial intelligence
- knowledge base
- proof search
- case study
- virtual reality
- distance learning
- formal proofs
- natural deduction
- interactive video
- user friendly
- virtual environment
- search algorithm
- three dimensional
- image processing
- search engine