Towards a certified computation of homology groups for digital images - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Towards a certified computation of homology groups for digital images

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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
158 Consultations
344 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More