Érik Martin-Dorel, Pierre Roux: A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations. CPP 2017: 90-99