@inproceedings{martin2017reflexive,
  title={A Reflexive Tactic for Polynomial Positivity using Numerical Solvers
	and Floating-point Computations},
  author={Martin-Dorel, {\'E}rik and Roux, Pierre},
  booktitle={The 6th ACM SIGPLAN Conf. on Certified Programs and Proofs
	 (CPP 2017)},
  pages={90--99},
  year={2017}
}