Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base. - Nicolas Julien (FLOPS, 2008)

Formal Verification of Exact Computations Using Newton's Method. - Nicolas Julien; Ioana Pasca (TPHOLs, 2009)