Towards a certified computation of homology groups for digital images
-
1
Universidad de La Rioja
info
-
2
Research Centre Inria Sophia Antipolis - Méditerranée
info
Research Centre Inria Sophia Antipolis - Méditerranée
Valbonne, Francia
-
3
University of Gothenburg
info
Verlag: SPRINGER-VERLAG
ISBN: 978-3-642-30238-1
Datum der Publikation: 2012
Ausgabe: 7309 LNCS
Seiten: 49-57
Art: Buch-Kapitel
Projekte im Zusammenhang
Zusammenfassung
In this paper we report on a project to obtain a verified computation of homology groups of digital images. The methodology is based on programming 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.