Proof of a conjecture of Metsch.

Tamás Szonyi Zsuzsa Weiner

Published in: J. Comb. Theory, Ser. A (2011)

Keyphrases

theorem prover
theorem proving
real time
genetic algorithm
neural network
data mining
learning algorithm
image segmentation
image sequences
complete axiomatization
mathematical proofs
geometry theorem proving