@inproceedings{DMM05ARITH,
        author = "Marc Daumas and Guillaume Melquiond and C{\'e}sar 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"
}