Login / Signup
Another Short Proof of the Hairy Ball Theorem.
Eugene Curtin
Published in:
Am. Math. Mon. (2018)
Keyphrases
</>
interactive theorem proving
theorem prover
linear logic
von neumann
multiresolution
theorem proving
probabilistic model
heavy traffic limit
video sequences
artificial neural networks
user interface
artificial intelligence
multiscale
image processing
proof search
intuitionistic logic
mathematical proofs
metadata