Towards a Certified Computation of Homology Groups for Digital Images (Q2900562)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards a Certified Computation of Homology Groups for Digital Images |
scientific article |
Statements
Towards a Certified Computation of Homology Groups for Digital Images (English)
0 references
23 July 2012
0 references
homology
0 references
discrete Morse theory
0 references
proof assistant tools
0 references
Coq
0 references
SSReflect
0 references
synapses
0 references
