Keyphrases
- theorem prover
- computer algebra systems
- theorem proving
- computer algebra
- automated reasoning
- automated theorem proving
- first order logic
- inference rules
- automated deduction
- term rewriting
- user friendly
- higher order logic
- formal semantics
- computer graphics
- proof planning
- web intelligence
- virtual reality
- higher order
- user interaction
- natural language
- proof search
- expert systems