Publications de
Erik Martin-Dorel, Guillaume Hanrot, Micaela Mayero, Laurent Théry
Formally verified certificate checkers for hardest-to-round computation
Dans : Journal of Automated Reasoning, Springer-Verlag, Heidelberg, Allemagne, Vol. 54 N. 1, p. 1-29, janvier 2015.
Erik Martin-Dorel, Micaela Mayero, Ioana Pasca, Laurence Rideau, Laurent Théry
Certified, Efficient and Sharp Univariate Taylor Models in COQ (regular paper)
Dans : International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2013), Timisoara, Romania, 23/09/13-26/09/13, IEEE : Institute of Electrical and Electronics Engineers, p. 193-200, 2013.
Nicolas Brisebarre, Mioara Joldes, Erik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry
Rigorous Polynomial Approximation Using Taylor Models in Coq (regular paper)
Dans : International Symposium on NASA Formal Methods (NFM 2012), Norfolk, Virginia, 03/04/12-05/04/12, Springer, p. 85-99, 2012.
Accès : http://dx.doi.org/10.1007/978-3-642-28891-3_9
BibTeX