Publications de
Erik Martin-Dorel, Guillaume Melquiond
Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq
Dans : Journal of Automated Reasoning, Springer-Verlag, Heidelberg, Allemagne, Vol. 57 N. 3, p. 187-217, octobre 2016.
Résumé Accès : http://dx.doi.org/10.1007/s10817-015-9350-4 – http://www.irit.fr/publis/ACADIE/CoqInterval-JAR.pdf – https://oatao.univ-toulouse.fr/16862/
BibTeXErik Martin-Dorel, Guillaume Melquiond, Jean-Michel Muller
Some issues related to double rounding
Dans : BIT Numerical Mathematics, Springer, Vol. 53 N. 4, p. 897-924, 2013.
Erik Martin-Dorel, Guillaume Melquiond
Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq
Dans : Journées FAC 2016, LAAS, Toulouse, 30/03/16-31/03/16.
Accès : http://projects.laas.fr/IFSE/FAC/previous/journ%C3%A9es-fac-2016/
BibTeXErik Martin-Dorel, Guillaume Melquiond
CoqInterval: A Toolbox for Proving Non-linear Univariate Inequalities in Coq
Dans : The MAP 2016 conference on Effective Analysis: Foundations, Implementations, Certification, CIRM, Luminy, Marseille, 11/01/16-15/01/16.
Accès : http://scientific-events.weebly.com/1508.html
BibTeX