Cited By
View all- Poza MDomínguez CHeras JRubio J(2014)A Certified Reduction Strategy for Homological Image ProcessingACM Transactions on Computational Logic10.1145/263078915:3(1-23)Online publication date: 17-Jul-2014
- Heras JCoquand TMörtberg ASiles V(2013)Computing persistent homology within Coq/SSReflectACM Transactions on Computational Logic10.1145/252892914:4(1-16)Online publication date: 28-Nov-2013
- Heras JMata GRomero ARubio JSáenz R(2013)Verifying a plaftorm for digital imagingProceedings of the 2013 international conference on Intelligent Computer Mathematics10.1007/978-3-642-39320-4_5(66-81)Online publication date: 8-Jul-2013