Computing persistent homology within Coq/SSReflect
From MaRDI portal
Publication:2946715
DOI10.1145/2528929zbMath1353.68251arXiv1209.1905MaRDI QIDQ2946715
Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1209.1905
03B35: Mechanization of proofs and logical operations
55N35: Other homology theories in algebraic topology
Uses Software