Sign in
Nicolas Julien
Publication Activity (10 Years)
Years Active: 2008-2009
Publications (10 Years): 0
</>
Publications
</>
Nicolas Julien
,
Ioana Pasca
Formal Verification of Exact Computations Using Newton's Method.
TPHOLs
(2009)
Nicolas Julien
Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base.
FLOPS
(2008)