Computational Synthetic Cohomology Theory in Homotopy Type Theory.

Axel Ljungström Anders Mörtberg

Published in: CoRR (2024)

Keyphrases

theoretical framework
case study
hidden markov models
computational model
data mining
search engine
multi agent
digital libraries
expert systems
special case
fixed point
formal theory