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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Theorem Proving With the Real Numbers
Image fournie par le vendeur
Theorem proving with the real numbers (IN ENGLISCHER SPRACHE), Distinguished dissertations,
Edité par
London ; Berlin ; Singapore ; Tokyo ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; Milan ; Paris ; Santa Clara : Springer, 1998
ISBN 10 : 3540762566
ISBN 13 : 9783540762560
Ancien ou d'occasion
Couverture rigide
Vendeur : Antiquariat Im Baldreit, Baden-Baden, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
8°, grüner OPp mit Rückentitel. XII, 186 Seiten: graph. Darst., Gutes Exemplar mit handschriftlichem Besitzvermerk Sprache: Englisch Gewicht in Gramm: 405. N° de réf. du vendeur 66300
Acheter D'occasion
EUR 28
Expédition à EUR 45,10
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Theorem Proving with the Real Numbers (Distinguished Dissertations)
Edité par
Springer, 1998
ISBN 10 : 3540762566
ISBN 13 : 9783540762560
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G3540762566I4N00
Acheter D'occasion
EUR 92,65
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Theorem Proving With the Real Numbers (Distinguished Dissertations (Springer-Verlag))
Edité par
Springer-Verlag Telos, 1998
ISBN 10 : 3540762566
ISBN 13 : 9783540762560
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. N° de réf. du vendeur ERICA70435407625665
Acheter D'occasion
EUR 90,29
Expédition à EUR 28,83
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Theorem Proving with the Real Numbers.
Edité par
Springer Verlag, 1998
ISBN 10 : 3540762566
ISBN 13 : 9783540762560
Ancien ou d'occasion
Couverture rigide
Vendeur : CSG Onlinebuch GMBH, Darmstadt, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : 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. N° de réf. du vendeur 16643
Acheter D'occasion
EUR 29,71
Expédition à EUR 95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)