An Embellished Account of Agafonov's Proof of Agafonov's Theorem.

Thomas Seiller Jakob Grue Simonsen

Published in: CoRR (2020)

Keyphrases

interactive theorem proving
learning algorithm
data sets
databases
genetic algorithm
computer vision
image processing
case study
data structure
theorem prover
theorem proving