Certified, Efficient and Sharp Univariate Taylor Models in COQ

Autor: Erik Martin-Dorel, Laurence Rideau, Ioana Pasca, Micaela Mayero, Laurent Théry

Publikováno v: SYNASC
SYNASC 2013-15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
SYNASC 2013-15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2013, Timisoara, Romania

We present a library for univariate Taylor models that has been developed with the COQ proof assistant. Each algorithm of this library is executable and has been formally proved correct. Using this library, one can then effectively compute rigorous a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7aadeeaea799b80f96896d294b9687a1
https://doi.org/10.1109/synasc.2013.33