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.
Type de document :
Communication dans un congrès
CTIC - Computational Topology in Image Context - 2012, May 2012, Bertinoro, Italy. Springer, 7309, pp.49-57, 2012, Lecture Notes In Computer Science. 〈10.1007/978-3-642-30238-1_6〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00711385
Contributeur : Maxime Dénès <>
Soumis le : dimanche 24 juin 2012 - 16:27:26
Dernière modification le : jeudi 11 janvier 2018 - 16:45:44
Document(s) archivé(s) le : jeudi 15 décembre 2016 - 18:38:40

Fichiers

taccohgfdi.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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. Springer, 7309, pp.49-57, 2012, Lecture Notes In Computer Science. 〈10.1007/978-3-642-30238-1_6〉. 〈hal-00711385〉

Partager

Métriques

Consultations de la notice

177

Téléchargements de fichiers

254