A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations.

rik Martin-Dorel, Pierre Roux

Browse the full CPP paper archive.