Krandick's proof of Lagrange's real root bound claim

George E. Collins. Krandick's proof of Lagrange's real root bound claim. Journal of Symbolic Computation, 70:106-111, 2015. [doi]

Abstract

Abstract is missing.