Guaranteed proofs using interval arithmetic (2005)

by M Daumas, G Melquiond, C Muñoz
Venue:Proceedings of the 17th Symposium on Computer Arithmetic