Items related to Theorem Proving with the Real Numbers (Distinguished...
Synopsis
A discussion of the formal development of classical mathematics using a computer. It combines traditional lines of research in theorem proving and computer algebra and shows the usefulness of real numbers in verification.
"synopsis" may belong to another edition of this title.
Synopsis
A discussion of the formal development of classical mathematics using a computer. It combines traditional lines of research in theorem proving and computer algebra and shows the usefulness of real numbers in verification.
"About this title" may belong to another edition of this title.
Search results for Theorem Proving with the Real Numbers (Distinguished...
Seller Image
Theorem proving with the real numbers (IN ENGLISCHER SPRACHE), Distinguished dissertations,
Published by
London ; Berlin ; Singapore ; Tokyo ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; Milan ; Paris ; Santa Clara : Springer, 1998
ISBN 10: 3540762566
ISBN 13: 9783540762560
Used
Hardcover
Seller: Antiquariat Im Baldreit, Baden-Baden, Germany
Seller rating 5 out of 5 stars
8°, grüner OPp mit Rückentitel. XII, 186 Seiten: graph. Darst., Gutes Exemplar mit handschriftlichem Besitzvermerk Sprache: Englisch Gewicht in Gramm: 405. Seller Inventory # 66300
Stock Image
Theorem Proving With the Real Numbers (Distinguished Dissertations (Springer-Verlag))
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA70435407625665
Stock Image
Theorem Proving with the Real Numbers.
Seller: CSG Onlinebuch GMBH, Darmstadt, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: Gut. Gebraucht - Gut Zustand: Gut, XII, 186 pp. About this book: 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 panel of eight academics. Each dissertation chosen makes a noteworthy contribution to the subject and reaches a high standard of exposition, placing all results clearly in the context of computer science as a whole. In this way computer scientists with significantly different interests are able to grasp the essentials - or even find a means of entry - to an unfamiliar research topic. Theorem Proving with the Real Numbers discusses the formal development of classical mathematics using a computer. It combines traditional lines of research in theorem proving and computer algebra and shows the usefulness of real numbers in verification. Written for Postgraduate students; final year undergraduates; researchers. Seller Inventory # 16643