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

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