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), Paris, 16/01/2017-17/01/2017}",
year = {2017},
month = {janvier},
publisher = {ACM},
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}
}