Theorem proving with the real numbers - Harrison, John (Distinguished dissertations, 1998)