Cellular Cohomology in Homotopy Type Theory.

Ulrik Buchholtz Kuen-Bang Hou

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

case study
theoretical basis
three dimensional
computational model
database
real world
feature selection
face recognition
support vector
theoretical framework
cellular automata
fixed point
formal theory