Sign in
Calculating the Fundamental Group of the Circle in Homotopy Type Theory
Daniel R. Licata
Michael Shulman
Published in:
CoRR (2013)
Keyphrases
</>
theoretical framework
theoretical foundation
conceptual framework
theoretical basis
information retrieval
special case
hough transform
cross section
computer vision
decision making
image processing
three dimensional
medical images
fixed point
belief functions
formal theory