Towards a certified computation of homology groups for digital images

Jónathan Heras 1 Maxime Dénès 2 Gadea Mata 1 Anders Mörtberg 3 María Poza 1 Vincent Siles 3
1 Department of Mathematics and Computer Science - Departamento de Matematicas y Computacion
2 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
3 CSE - Department of Computer Science and Engineering [Göteborg]
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

INRIA | UNIV-COTEDAZUR

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

210

Téléchargements de fichiers

292

Contact


archive-ouverte@inria.fr