A Tableau Based Automated Theorem Prover Using High Performance Computing.
Md Zahidul IslamAhmed Shah MashiyatKashif Nizam KhanS. M. Masud KarimPublished in: J. Comput. (2012)
Keyphrases
- theorem prover
- high performance computing
- automated theorem proving
- proof search
- scientific computing
- theorem proving
- first order logic
- massively parallel
- computational science
- inference rules
- parallel computing
- computing systems
- term rewriting
- grid computing
- formal proof
- computing resources
- fault tolerance
- proof procedure
- energy efficiency
- computing environments
- description logics
- natural deduction
- wireless sensor networks
- fault tolerant
- linear logic
- power consumption
- cost effective
- data mining