Single-set cubical categories and their formalisation with a proof assistant.

Philippe Malbos Tanguy Massacrier Georg Struth

Published in: CoRR (2024)

Keyphrases

data sets
small number
input data
hierarchical structure
real time
object recognition
feature set
theorem proving