A Riemann-Roch theorem for hypermaps.

Leonardo Cangelmi

Published in: Eur. J. Comb. (2012)

Keyphrases

search engine
neural network
genetic algorithm
high level
query processing
digital topology
interactive theorem proving