Computing Persistent Homology within Coq/SSReflect

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

Published in: CoRR (2012)

Keyphrases

persistent homology
topological features
computer vision
computational geometry
morse theory
object recognition
theorem prover