✦ LIBER ✦

Computing persistent homology within Coq/SSReflect

✍ Scribed by Heras, Jónathan; Coquand, Thierry; Mörtberg, Anders; Siles, Vincent

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computing Persistent Homology

✍ Afra Zomorodian; Gunnar Carlsson 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 471 KB

Morse Theory for Filtrations and Efficie

✍ Konstantin Mischaikow, Vidit Nanda 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 304 KB

Efficient computation of 3D Morse–Smale

✍ Günther, David; Reininghaus, Jan; Wagner, Hubert; Hotz, Ingrid 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 673 KB

Cyclometalated Pt(iv) trans-diiodo adduc

✍ La Deda, Massimo; Crispini, Alessandra; Aiello, Iolinda; Ghedini, Mauro; Amati, 📂 Article 📅 2011 🏛 Royal Society of Chemistry 🌐 English ⚖ 664 KB

[IEEE 2011 24th SIBGRAPI Conference on G

✍ Gunther, David; Reininghaus, Jan; Hotz, Ingrid; Wagner, Hubert 📂 Article 📅 2011 🏛 IEEE ⚖ 758 KB