@inproceedings{ dblp2292040,
  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},
  author_short = {Brisebarre, N. and Joldes, M. and Martin-Dorel, É. and Mayero, M. and Muller, J. and Pasca, I. and Rideau, L. and Théry, L.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp2292040},
  id = {dblp2292040},
  biburl = {http://www.dblp.org/rec/bibtex/conf/nfm/BrisebarreJMMMPRT12},
  url = {http://dx.doi.org/10.1007/978-3-642-28891-3_9},
  conference = {NASA Formal Methods},
  pages = {85-99},
  text = {NASA Formal Methods 2012:85-99},
  booktitle = {Proceedings of NASA Formal Methods}
}

{"_id":"a4oWCqxsGqW6raP7i","bibbaseid":"brisebarre-joldes-martindorel-mayero-muller-pasca-rideau-thry-rigorouspolynomialapproximationusingtaylormodelsincoq-2012","downloads":0,"creationDate":"2015-03-16T12:06:52.782Z","title":"Rigorous Polynomial Approximation Using Taylor Models in Coq","author_short":["Brisebarre, N.","Joldes, M.","Martin-Dorel, É.","Mayero, M.","Muller, J.","Pasca, I.","Rideau, L.","Théry, L."],"year":2012,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/nfm/BrisebarreJMMMPRT12","bibdata":{"title":"Rigorous Polynomial Approximation Using Taylor Models in Coq","author":["Nicolas Brisebarre","Mioara Joldes","Érik Martin-Dorel","Micaela Mayero","Jean-Michel Muller","Ioana Pasca","Laurence Rideau","Laurent Théry"],"author_short":["Brisebarre, N.","Joldes, M.","Martin-Dorel, É.","Mayero, M.","Muller, J.","Pasca, I.","Rideau, L.","Théry, L."],"bibtype":"inproceedings","type":"inproceedings","year":"2012","key":"dblp2292040","id":"dblp2292040","biburl":"http://www.dblp.org/rec/bibtex/conf/nfm/BrisebarreJMMMPRT12","url":"http://dx.doi.org/10.1007/978-3-642-28891-3_9","conference":"NASA Formal Methods","pages":"85-99","text":"NASA Formal Methods 2012:85-99","booktitle":"Proceedings of NASA Formal Methods","bibtex":"@inproceedings{ dblp2292040,\n title = {Rigorous Polynomial Approximation Using Taylor Models in Coq},\n 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},\n author_short = {Brisebarre, N. and Joldes, M. and Martin-Dorel, É. and Mayero, M. and Muller, J. and Pasca, I. and Rideau, L. and Théry, L.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2292040},\n id = {dblp2292040},\n biburl = {http://www.dblp.org/rec/bibtex/conf/nfm/BrisebarreJMMMPRT12},\n url = {http://dx.doi.org/10.1007/978-3-642-28891-3_9},\n conference = {NASA Formal Methods},\n pages = {85-99},\n text = {NASA Formal Methods 2012:85-99},\n booktitle = {Proceedings of NASA Formal Methods}\n}","bibbaseid":"brisebarre-joldes-martindorel-mayero-muller-pasca-rideau-thry-rigorouspolynomialapproximationusingtaylormodelsincoq-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-28891-3_9"},"downloads":0},"search_terms":["rigorous","polynomial","approximation","using","taylor","models","coq","brisebarre","joldes","martin-dorel","mayero","muller","pasca","rideau","théry"],"keywords":[],"authorIDs":["5506c75c804ed6007e00015e"],"dataSources":["ugoTa8E6FXEPLTXRr"]}