@inproceedings{DMM05ARITH,
        author = "M. Dumas and G. Melquiond and C. Mu{\~{n}}oz",
        title = "Guaranteed Proofs Using Interval Arithmetic",
        booktitle = "Proceedings of the 17th IEEE Symposium on Computer Arithmetic,
                     ARITH-17",
        address = " Cape Cod, Massachusetts",
        year = "2005"
}