45 citations · 72 across the 11 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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.LO2010
Computing in Coq with Infinite Algebraic Data Structures
César Domínguez, Julio Rubio
Computational content encoded into constructive type theory proofs can be used to make computing experiments over concrete data structures. In this paper, we explore this possibili…