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 afiliacións +
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

Ano de publicación: 2012

Volume: 7309 LNCS

Páxinas: 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 aberto editor

Proxectos relacionados

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

2009/00207/001

Resumo

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.