Login / Signup
On the homotopy groups of spheres in homotopy type theory.
Guillaume Brunerie
Published in:
CoRR (2016)
Keyphrases
</>
case study
fixed point
cluster analysis
formal theory
three dimensional
data sets
machine learning
artificial intelligence
high level
control system
probability distribution