All Stories

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

    Article • January 2017, ACM (Association for Computing Machinery)

    Erik Martin-Dorel