Publicaciones en colaboración con investigadores/as de University of Gothenburg (2)

2013

  1. Computing persistent homology within coq/ssreflect

    ACM Transactions on Computational Logic, Vol. 14, Núm. 4

2012

  1. Towards a certified computation of homology groups for digital images

    Lectures Notes in Computer Science: Computational Topology in Image Context, 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012, Proceedings (SPRINGER-VERLAG), pp. 49-57