Computing persistent homology within Coq
β
Heras, JΓ³nathan; Coquand, Thierry; MΓΆrtberg, Anders; Siles, Vincent
π
Article
π
2013
π
Association for Computing Machinery
π
English
β 222 KB