Automating Proofs in Category Theory.

Dexter Kozen Christoph Kreitz Eva Richter

Published in: IJCAR (2006)

Keyphrases

theoretical basis
information theory
machine learning
formal theory
equational theories
data mining
genetic algorithm
computer vision
theorem prover
theorem proving
formal proofs