15 citations · 28 across the 12 of their papers we have counts for
1 paper · 2 filters
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…