Bibtex de la publication

@InProceedings{ Ma2017.3,
author = {Martin-Dorel, Erik and Roux, Pierre},
title = "{A Reflexive Tactic for Polynomial Positivity using Numerical Solvers and Floating-Point Computations (regular paper)}",
booktitle = "{ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Paris, 16/01/17-17/01/17}",
year = {2017},
month = {janvier},
publisher = {ACM : Association for Computing Machinery},
address = {http://www.acm.org/},
pages = {90--99},
language = {anglais},
URL = {https://dx.doi.org/10.1145/3018610.3018622,https://hal.archives-ouvertes.fr/hal-01510979 - http://oatao.univ-toulouse.fr/18859/}
}