9 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 3 cited
A certified reduction strategy for homological image processing
María Poza, César Domínguez, Jónathan Heras +1
The analysis of digital images using homological procedures is an outstanding topic in the area of Computational Algebraic Topology. In this paper, we describe a certified reductio…
cs.AI2012★ 9 cited
Verifying an algorithm computing Discrete Vector Fields for digital imaging
Jónathan Heras, María Poza, Julio Rubio
In this paper, we present a formalization of an algorithm to construct admissible discrete vector fields in the Coq theorem prover taking advantage of the SSReflect library. Discre…