Guaranteed proofs using interval arithmetic (2005)

by Marc Daumas , Guillaume Melquiond , César Muñoz
Venue:Proceedings of the 17th Symposium on Computer Arithmetic, Cape Cod
Citations:22 - 11 self