Synthetic Homology in Homotopy Type Theory.

Published in: CoRR (2017)

Keyphrases

digital images
general theory
theoretical framework
information theory
data sets
data mining
information systems
theoretical foundation
theoretical basis
information retrieval
artificial intelligence
computational model