A High-Performance Parallel Theorem Prover.
Ralph ButlerIan T. FosterAnita JindalRoss A. OverbeekPublished in: CADE (1990)
Keyphrases
- theorem prover
- distributed memory machines
- first order logic
- automated reasoning
- inference rules
- theorem proving
- distributed memory
- term rewriting
- computer algebra
- automated theorem proving
- ibm sp
- pc cluster
- parallel processing
- formal proof
- natural deduction
- proof search
- parallel computers
- formal semantics
- higher order logic
- graphics processing units
- parallel computing
- mathematical knowledge
- artificial intelligence
- computer architecture
- boolean algebra
- massively parallel
- proof planning
- parallel implementation
- shared memory
- computer algebra systems