Towards a Certified Computation of Homology Groups for Digital Images

Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg, María Poza, Vincent Siles. Towards a Certified Computation of Homology Groups for Digital Images. In Massimo Ferri, Patrizio Frosini, Claudia Landi, Andrea Cerri, Barbara Di Fabio, editors, Computational Topology in Image Context - 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings. Volume 7309 of Lecture Notes in Computer Science, pages 49-57, Springer, 2012. [doi]

Authors

Jónathan Heras

This author has not been identified. Look up 'Jónathan Heras' in Google

Maxime Dénès

This author has not been identified. Look up 'Maxime Dénès' in Google

Gadea Mata

This author has not been identified. Look up 'Gadea Mata' in Google

Anders Mörtberg

This author has not been identified. Look up 'Anders Mörtberg' in Google

María Poza

This author has not been identified. Look up 'María Poza' in Google

Vincent Siles

This author has not been identified. Look up 'Vincent Siles' in Google