-
QArith: Coq Formalisation of Lazy Rational Arithmetic
In this paper we present the formalisation of the library which is an implementation of rational numbers as binary sequences for both lazy and strict computation. We... -
Exact Voronoi diagram of smooth convex pseudo-circles: General predicates, an...
International audience
