@inproceedings{NFM2012:GoBrJoMDMaMuPaRiTh,
 author = {Nicolas Brisebarre and Mioara Joldes and {\'E}rik Martin-Dorel and Micaela Mayero and Jean-Michel Muller and Ioana Pasca and
               Laurence Rideau and Laurent Th{\'e}ry},
 title = {Rigorous Polynomial Approximation Using Taylor Models in COQ},
 booktitle = {Proceedings of the 4th  NASA Formal Methods Symposium (NFM 2012)},
 volume = {7226},
 editor = {Alwyn E. Goodloe and Suzette Person},
 location = {Norfolk, VA, USA},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 pages = {85--99},
 month = {April},
 year = {2012}
}