Computing persistent homology within Coq/SSReflect.

Jónathan Heras Thierry Coquand Anders Mörtberg Vincent Siles

Published in: ACM Trans. Comput. Log. (2013)

Keyphrases

persistent homology
topological features
social networks
knn
object detection
social network analysis
morse theory