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

by M Daumas, G Melquiond
Venue:In Real Numbers and Computers