I'm submitting my real root isolation algorithm for SAGE (this was the subject of my talk at SD4).

Component: numerical

Issue created by migration from https://trac.sagemath.org/ticket/840