Cooperating Proof Attempts.

Giles Reger Dmitry Tishkovsky Andrei Voronkov

Published in: CADE (2015)

Keyphrases

cooperative
theorem prover
geometry theorem proving
formal proof
linear logic

theorem proving
special case
interactive theorem proving
imperative programs
complete axiomatization

natural deduction
database
object recognition
case study
decision making

computer vision
genetic algorithm
machine learning
data mining
neural network