Zobrazeno 1 - 3
of 3
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
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 256, Iss Proc. GandALF 2017, Pp 46-60 (2017)
Nash equilibrium (NE) is a central concept in game theory. Here we prove formally a published theorem on existence of an NE in two proof assistants, Coq and Isabelle: starting from a game with finitely many outcomes, one may derive a game by rewritin
Externí odkaz:
https://doaj.org/article/796513759fa340cea322383b2b53ff84