Keyphrases
- theorem prover
- computer algebra systems
- theorem proving
- first order logic
- computer algebra
- automated reasoning
- inference rules
- automated theorem proving
- term rewriting
- automated deduction
- formal semantics
- proof planning
- user friendly
- evolutionary algorithm
- training data
- expert systems
- text classification
- timed automata
- parallel execution
- shared memory
- parallel processing
- virtual reality
- computer graphics