Formalising the Kruskal-Katona Theorem in Lean.

Published in: CICM (2022)

Keyphrases

von neumann
minimum spanning tree
database
databases
neural network
artificial intelligence
digital topology
multiscale
video sequences
pattern recognition
probabilistic model