On Homotopy of Walks and Spherical Maps in Homotopy Type Theory.

Jonathan Prieto-Cubides

Published in: CoRR (2021)

Keyphrases

theoretical framework
fixed point
conceptual framework
data sets
databases
learning algorithm
image processing
case study
spherical harmonics
data mining
information retrieval
search engine
social networks
feature selection
theoretical basis
unit sphere