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]

Authors

Nicolas Brisebarre

This author has not been identified. Look up 'Nicolas Brisebarre' in Google

Mioara Joldes

This author has not been identified. Look up 'Mioara Joldes' in Google

Érik Martin-Dorel

This author has not been identified. Look up 'Érik Martin-Dorel' in Google

Micaela Mayero

This author has not been identified. Look up 'Micaela Mayero' in Google

Jean-Michel Muller

This author has not been identified. Look up 'Jean-Michel Muller' in Google

Ioana Pasca

This author has not been identified. Look up 'Ioana Pasca' in Google

Laurence Rideau

This author has not been identified. Look up 'Laurence Rideau' in Google

Laurent Théry

This author has not been identified. Look up 'Laurent Théry' in Google