Guaranteed proofs using interval arithmetic (2005)

by Marc Daumas, Guillaume Melquiond, César Muñoz
Venue:Proceedings of the 17th IEEE Symposium on Computer Arithmetic