The Parallel Numerical Method of Mechanical Theorem Proving.
Jingzhong ZhangLu YangMike DengPublished in: Theor. Comput. Sci. (1990)
Keyphrases
- theorem proving
- numerical methods
- parallel search
- first order logic
- automated deduction
- differential equations
- inference rules
- decision procedures
- partial differential equations
- automated reasoning
- term rewriting
- theorem prover
- boundary element method
- automatic programming
- automated theorem proving
- logical inference
- consequence finding
- proof planning
- geometry theorem proving
- proof procedure
- finite element method
- level set method
- predicate calculus
- modal logic
- image processing