Bibtex de la publication

@Unpublished{ Ma2017.18,
author = {Martin-Dorel, Erik and Roux, Pierre},
title = "{A Reflexive Tactic for Polynomial Positivity using Numerical Solvers and Floating-Point Computations (Journées FAC 2017, Onera, Toulouse, 29/03/2017-30/03/2017)}",
year = {2017},
language = {francais},
URL = {http://projects.laas.fr/IFSE/FAC/previous/journ%E9es-fac-2017/}
}