45 citations · 72 across the 11 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
math.KT2012★ 45 cited
Constructive Homological Algebra and Applications
Julio Rubio, Francis Sergeraert
This text was written and used for a MAP Summer School at the University of Genova, August 28 to September 2, 2006. Available since then on the web site of the second author, it ha…
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…