43 citations · 151 across the 29 of their papers we have counts for
1 paper · 1 filter
Wenda Li, Grant Olney Passmore, Lawrence C. Paulson
We present a proof procedure for univariate real polynomial problems in Isabelle/HOL. The core mathematics of our procedure is based on univariate cylindrical algebraic decompositi…