Towards a Certified Computation of Homology Groups for Digital Images | Publicación