Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation.
Johann SchumannReinhold LetzFranz J. KurfessPublished in: CADE (1990)
Keyphrases
- efficient implementation
- theorem prover
- highly parallel
- automated reasoning
- theorem proving
- inference rules
- automated theorem proving
- first order logic
- computer algebra
- automated deduction
- higher order logic
- formal semantics
- active set
- hardware implementation
- proof search
- artificial intelligence
- computer algebra systems
- efficient processing
- machine learning
- higher order
- timed automata
- data mining