Skip to main content
PBS logo
 
 

Search - Theorem Proving with the Real Numbers

Theorem Proving with the Real Numbers
Theorem Proving with the Real Numbers
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: 9780387762562
ISBN-10: 0387762566
Pages: 196
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 - 2025 PaperBackSwap.com. All Rights Reserved.