Towards a certified computation of homology groups for digital images

  1. Heras, J. 1
  2. Dénès, Maxime. 2
  3. Mata, G. 1
  4. Mörtberg, A. 3
  5. Poza, M. 1
  6. Siles, Vincent . 3
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

  2. 2 Research Centre Inria Sophia Antipolis - Méditerranée
    info

    Research Centre Inria Sophia Antipolis - Méditerranée

    Valbonne, Francia

    ROR https://ror.org/01nzkaw91

  3. 3 University of Gothenburg
    info

    University of Gothenburg

    Gotemburgo, Suecia

    ROR https://ror.org/01tm6cn81

Mostrar afiliaciones +
Libro:
Lectures Notes in Computer Science: Computational Topology in Image Context, 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012, Proceedings

Editorial: SPRINGER-VERLAG

ISBN: 978-3-642-30238-1

Año de publicación: 2012

Volumen: 7309 LNCS

Páginas: 49-57

Tipo: Capítulo de Libro

DOI: 10.1007/978-3-642-30238-1_6 SCOPUS: 2-s2.0-84864011436 WoS: WOS:000314173900006 GOOGLE SCHOLAR lock_openAcceso abierto editor

Proyectos relacionados

Gestión Mecanizada del Conocimiento Matemático. Aplicaciones en Topología Algebraica y en Lógica.

2009/00207/001

Resumen

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.