| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Towards a certified computation of homology groups for digital images
Abstract : In this paper we report on a project to obtain a verified computation of homology groups of digital images. The methodology is based on program- ming and executing inside the COQ proof assistant. Though more research is needed to integrate and make efficient more processing tools, we present some examples partially computed in COQ from real biomedical images.
Cited literature [24 references]
https://hal.inria.fr/hal-00711385
Contributor : Maxime Dénès Connect in order to contact the contributor
Submitted on : Sunday, June 24, 2012 - 4:27:26 PM
Last modification on : Thursday, January 7, 2021 - 3:40:05 PM
Long-term archiving on: : Thursday, December 15, 2016 - 6:38:40 PM
Contributor : Maxime Dénès Connect in order to contact the contributor
Submitted on : Sunday, June 24, 2012 - 4:27:26 PM
Last modification on : Thursday, January 7, 2021 - 3:40:05 PM
Long-term archiving on: : Thursday, December 15, 2016 - 6:38:40 PM
Files
taccohgfdi.pdf
Files produced by the author(s)