Login / Signup
Another Proof of the Harer-Zagier Formula.
Boris G. Pittel
Published in:
Electron. J. Comb. (2016)
Keyphrases
</>
theorem proving
theorem prover
artificial intelligence
proof planning
machine learning
information retrieval
information systems
case study
search algorithm
situation calculus
proof theory
mathematical proofs