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