Login / Signup
An Easy Proof of Hurwitz's Theorem.
Manuel Benito
J. Javier Escribano
Published in:
Am. Math. Mon. (2002)
Keyphrases
</>
interactive theorem proving
theorem proving
linear logic
automated theorem proving
real time
data sets
data mining
artificial intelligence
real world
machine learning
von neumann
zeta function