Computing persistent homology within Coq/SSReflect (Q2946715)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computing persistent homology within Coq/SSReflect |
scientific article |
Statements
Computing persistent homology within Coq/SSReflect (English)
0 references
17 September 2015
0 references
Coq
0 references
SSReflect
0 references
persistent homology
0 references
computational algebraic topology
0 references
formalization of mathematics
0 references
