PARTHEO: a high performance parallel theorem prover
Johann SchumannReinhold LetzPublished in: Forschungsberichte, TU Munich (1990)
Keyphrases
- learning algorithm
- theorem prover
- automated reasoning
- distributed memory machines
- theorem proving
- distributed memory
- first order logic
- inference rules
- term rewriting
- automated theorem proving
- computer algebra
- natural deduction
- pc cluster
- parallel implementation
- higher order logic
- formal semantics
- mathematical knowledge
- shared memory
- formal proof
- boolean algebra
- ibm sp
- bayesian networks
- computer algebra systems
- higher order
- graphics processing units
- search space
- massively parallel
- parallel algorithm
- evolutionary algorithm