Login / Signup
Two proofs of Bermond-Thomassen conjecture for regular tournaments.
Stéphane Bessy
Nicolas Lichiardopol
Jean-Sébastien Sereni
Published in:
Electron. Notes Discret. Math. (2007)
Keyphrases
</>
theorem proving
formal proofs
theorem prover
e learning
equational theories
databases
artificial intelligence
knowledge base
image processing
video sequences
artificial neural networks
formal proof
mathematical proofs