Counting polynomial roots in isabelle/hol: a formal proof of the budan-fourier theorem.

Wenda Li, Lawrence C. Paulson

Browse the full CPP paper archive.