Using Proofs by Coinduction to Find "Traditional" Proofs.

Clemens Grabmayer

Published in: CALCO (2005)

Keyphrases

theorem proving
mathematical proofs
formal proofs
theorem prover
formal proof
machine learning
feature selection
equational theories
computer vision
knowledge base
image processing
scheduling problem
sequent calculus
cut elimination