Skip to main content
PBS logo
 
 

Search - Theorem Proving with the Real Numbers (Distinguished Dissertations)

Theorem Proving with the Real Numbers (Distinguished Dissertations)
Theorem Proving with the Real Numbers - Distinguished Dissertations
Author: John Harrison
Discusses the formal development of classical mathematics using a computer. Combines traditional lines of research in theorem proving & computer algebra & shows the usefulness of real numbers in verification.
ISBN-13: 9783540762560
ISBN-10: 3540762566
Publication Date: 9/2/1998
Pages: 186
Edition: 1
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.