Bibtex de la publication

@Unpublished{ Ma2016.16,
author = {Martin-Dorel, Erik and Melquiond, Guillaume},
title = "{Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq (Journées FAC 2016, LAAS, Toulouse, 30/03/2016-31/03/2016)}",
year = {2016},
language = {francais},
URL = {http://projects.laas.fr/IFSE/FAC/previous/journ%25C3%25A9es-fac-2016/}
}