Theorem proving with the real numbers /

The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and the British Computer Society, who annually select the best British PhD dissertations in computer science for publication. The dissertations are selected on behalf of the CPHC by a...

Full description

Bibliographic Details

Main Author:	Harrison, J. (John), 1966-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London ; New York : Springer, [1998]
Series:	CPHC/BCS distinguished dissertations.
Subjects:	Automatic theorem proving. Computeralgebra. HOL. Reelle Zahl. Automatisches Beweisverfahren. Electronic books.
Online Access:	Connect to the full text of this electronic book