Towards a certified computation of homology groups for digital images - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

Towards a certified computation of homology groups for digital images

(1) , (2) , (1) , (3) , (1) , (3)
1
2
3

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.
Fichier principal
Vignette du fichier
taccohgfdi.pdf (129.06 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00711385 , version 1 (24-06-2012)

Identifiers

Cite

Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg, María Poza, et al.. Towards a certified computation of homology groups for digital images. CTIC - Computational Topology in Image Context - 2012, May 2012, Bertinoro, Italy. pp.49-57, ⟨10.1007/978-3-642-30238-1_6⟩. ⟨hal-00711385⟩

Collections

INRIA INRIA2
156 View
331 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More