A bijective proof of the enumeration of maps in higher genus.

Mathias Lepoutre

Published in: CoRR (2017)

Keyphrases

higher quality
real time
data sets
learning algorithm
search space
automated theorem proving
database
linear logic
significantly higher
theorem prover
shape analysis
hidden markov models
learning environment
similarity measure
website
decision making
genetic algorithm