The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Computing Persistent Homology within Coq/SSReflect
[article]
2012
arXiv
pre-print
Persistent homology is one of the most active branches of Computational Algebraic Topology with applications in several contexts such as optical character recognition or analysis of point cloud data. In this paper, we report on the formal development of certified programs to compute persistent Betti numbers, an instrumental tool of persistent homology, using the Coq proof assistant together with the SSReflect extension. To this aim it has been necessary to formalize the underlying mathematical
arXiv:1209.1905v1
fatcat:nkgtdzs26berfbbwfso7doph3m