Login / Signup
A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory.
Kuen-Bang Hou
Eric Finster
Daniel R. Licata
Peter LeFanu Lumsdaine
Published in:
CoRR (2016)
Keyphrases
</>
von neumann
theoretical basis
database
data sets
image processing
evolutionary algorithm
formal theory
image segmentation
special case
topological properties