As a result of literature research, I will present a few such theorems and proofs from the early 20th century. Some of this historic material tends to be overlooked in contemporary research literature on algorithms for real root isolation.
While the results and proofs I present should be _understandable_ to anyone with basic math education, they are probably most _interesting_ for listeners with a background in Computer Algebra or Exact Non-linear Geometry.