Some Group Theoretic Examples with Completion Theorem Provers.
Steve LintonDuncan ShandPublished in: J. Autom. Reason. (1996)
Keyphrases
- theorem prover
- theorem proving
- automated reasoning
- computer algebra
- first order logic
- automated theorem proving
- inference rules
- automated deduction
- term rewriting
- evolutionary algorithm
- training examples
- higher order logic
- proof search
- computer algebra systems
- natural language
- group members
- probabilistic reasoning
- active learning