Hamilton decompositions of regular expanders: a proof of Kelly's conjecture for large tournaments

Daniela Kühn Deryk Osthus

Published in: CoRR (2012)

Keyphrases

theorem proving
machine learning
mathematical proofs
neural network
programming language
singular value decomposition
theorem prover