9 citations · 12 across the 3 of their papers we have counts for
3 papers
cs.SE2013★ 1 cited
Statistical Proof Pattern Recognition: Automated or Interactive?
Jónathan Heras, Ekaterina Komendantskaya
In this paper, we compare different existing approaches employed in data mining of big proof libraries in automated and interactive theorem proving.
cs.LO2012★ 2 cited
Computing Persistent Homology within Coq/SSReflect
Jónathan Heras, Thierry Coquand, Anders Mörtberg +1
Persistent homology is one of the most active branches of Computational Algebraic Topology with applications in several contexts such as optical character recognition or analysis o…
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…