Computing persistent homology within Coq/SSReflect
Journal article, 2013
Coq
SSReflect
Persistent Homology
Formalization of Mathematics
Computational Algebraic Topology
Author
J. Heras
University of Dundee
Thierry Coquand
University of Gothenburg
Anders Mörtberg
University of Gothenburg
Vincent Siles
University of Gothenburg
ACM Transactions on Computational Logic
1529-3785 (ISSN) 1557945x (eISSN)
Vol. 14 4 26- 26Subject Categories
Other Mathematics
Computer Science
DOI
10.1145/2528929