Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Erik Martin-Dorel"'
Publikováno v:
Journal of Automated Reasoning
Journal of Automated Reasoning, 2015, 54 (1), pp.1-29. ⟨10.1007/s10817-014-9312-2⟩
Journal of Automated Reasoning, Springer Verlag, 2015, 54 (1), pp.1-29. ⟨10.1007/s10817-014-9312-2⟩
Journal of Automated Reasoning, 2015, 54 (1), pp.1-29. ⟨10.1007/s10817-014-9312-2⟩
Journal of Automated Reasoning, Springer Verlag, 2015, 54 (1), pp.1-29. ⟨10.1007/s10817-014-9312-2⟩
International audience; In order to derive efficient and robust floating-point implementations of a given function f, it is crucial to compute its hardest-to-round points, i.e. the floating-point numbers x such that f(x) is closest to the midpoint of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::16f848d5fda5bcc1ef494f0138e002c4
https://inria.hal.science/hal-00919498
https://inria.hal.science/hal-00919498
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
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
https://doi.org/10.1109/synasc.2013.33
Autor:
Muller, Jean-Michel
Publikováno v:
Elementary Functions: Algorithms & Implementation; 2016, pi-xxv, 25p
Publikováno v:
Journal of Automated Reasoning; Oct2016, Vol. 57 Issue 3, p187-217, 31p
Autor:
Roux, Pierre
Publikováno v:
Journal of Automated Reasoning; Aug2016, Vol. 57 Issue 2, p135-156, 22p
Publikováno v:
Journal of Automated Reasoning; Jan2015, Vol. 54 Issue 1, p1-29, 29p
Publikováno v:
2013 15th International Symposium on Symbolic & Numeric Algorithms for Scientific Computing; 2013, p193-200, 8p
Autor:
Jiřina Vejnarová, Nic Wilson
This book constitutes the refereed proceedings of the 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2021, held in Prague, Czech Republic, in September 2021. The 48 full papers presented in thi
This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. T