Theorem proving with the real numbers /
Harrison, J.,(John),1966-
London : Springer,
c1998.
Revised Ph.D. thesis - University of Cambridge, 1996.
Automatic theorem proving.
Numbers, Real.