Rigorous Polynomial Approximation Using Taylor Models in Coq

Nicolas Brisebarre, Mioara Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry. Rigorous Polynomial Approximation Using Taylor Models in Coq. In Alwyn Goodloe, Suzette Person, editors, NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Volume 7226 of Lecture Notes in Computer Science, pages 85-99, Springer, 2012. [doi]

@inproceedings{BrisebarreJMMMPRT12,
  title = {Rigorous Polynomial Approximation Using Taylor Models in Coq},
  author = {Nicolas Brisebarre and Mioara Joldes and Érik Martin-Dorel and Micaela Mayero and Jean-Michel Muller and Ioana Pasca and Laurence Rideau and Laurent Théry},
  year = {2012},
  doi = {10.1007/978-3-642-28891-3_9},
  url = {http://dx.doi.org/10.1007/978-3-642-28891-3_9},
  researchr = {https://researchr.org/publication/BrisebarreJMMMPRT12},
  cites = {0},
  citedby = {0},
  pages = {85-99},
  booktitle = {NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings},
  editor = {Alwyn Goodloe and Suzette Person},
  volume = {7226},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-28890-6},
}