Little Engines of Proof.

Natarajan Shankar

Published in: LICS (2002)

Keyphrases

machine learning
real time
theorem proving
multiscale
video sequences
digital libraries
management system
logic programs
natural deduction
proof planning
mathematical proofs
geometry theorem proving
interactive theorem proving