Cubical methods in homotopy type theory and univalent foundations.

Anders Mörtberg

Published in: Math. Struct. Comput. Sci. (2021)

Keyphrases

significant improvement
preprocessing
digital images
machine learning methods
database
databases
artificial intelligence
knowledge base
training data
computationally expensive
linear algebra