Manuel Eberl: A Decision Procedure for Univariate Real Polynomials in Isabelle/HOL. CPP 2015: 75-83