Theorem proving with the real numbers - Harrison, John (Springer, 1998)
Keywords: Automatic theorem proving; HOL; Reelle Zahl; Automatisches Beweisverfahren; Computeralgebra; Hochschulschrift