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. pp.49-57,
⟨10.1007/978-3-642-30238-1_6⟩.
⟨hal-00711385⟩