A review and prospect of readable machine proofs for geometry theorems.

Jianguo Jiang Jingzhong Zhang

Published in: J. Syst. Sci. Complex. (2012)

Keyphrases

sequent calculus
proof search
cut elimination
special case
theorem prover
geometric information
batch processing
website
three dimensional
database systems
theorem proving
printed circuit boards
online reviews
natural deduction