Generating formally certified bounds on values and round-off errors (2004)

by M Daumas, G Melquiond
Venue:In 6th Conference on Real Numbers and Computers