Series on Applied Mathematics: Machine Proofs in Geometry (PDF)
Automated Production of Readable Proofs for Geometry Theorems
(Sprache: Englisch)
This book reports recent major advances in automated reasoning in geometry. The authors have developed a method and implemented a computer program which, for the first time, produces short and readable proofs for hundreds of geometry theorems.Th
Leider schon ausverkauft
eBook
235.44 €
117 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Series on Applied Mathematics: Machine Proofs in Geometry (PDF)“
This book reports recent major advances in automated reasoning in geometry. The authors have developed a method and implemented a computer program which, for the first time, produces short and readable proofs for hundreds of geometry theorems.Th
Bibliographische Angaben
- Autoren: Arthur C Sanderson , J-Z Zhang , X-S Gao , Rajive Joshi
- 1994, Englisch
- ISBN-10: 9812798153
- ISBN-13: 9789812798152
- Erscheinungsdatum: 06.04.1994
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 12 MB
- Mit Kopierschutz
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Series on Applied Mathematics: Machine Proofs in Geometry"
0 Gebrauchte Artikel zu „Series on Applied Mathematics: Machine Proofs in Geometry“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Series on Applied Mathematics: Machine Proofs in Geometry".
Kommentar verfassen