Parallelization of a Hyper-Linking-Based Theorem Prover.
Chih-Hung WuShie-Jue LeePublished in: J. Autom. Reason. (2001)
Keyphrases
- theorem prover
- theorem proving
- automated reasoning
- first order logic
- term rewriting
- inference rules
- automated deduction
- computer algebra
- parallel processing
- automated theorem proving
- formal proof
- higher order logic
- timed automata
- genetic algorithm
- proof planning
- boolean algebra
- parallel execution
- distributed memory
- expert systems
- feature selection
- learning algorithm
- machine learning
- mathematical knowledge