Floating-point arithmetic in the Coq system (2012)

by G Melquiond
Venue:Information and Computation