Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems

BuchGebunden
480 Seiten
Englisch
Introduces the area method and recent results in automating the area method. This book presents a systematic way of proving geometry theorems using traditional methods.mehr

Produkt

KlappentextIntroduces the area method and recent results in automating the area method. This book presents a systematic way of proving geometry theorems using traditional methods.
Details
ISBN/GTIN978-981-02-1584-2
ProduktartBuch
EinbandartGebunden
FormatGenäht
Erscheinungsjahr1994
Erscheinungsdatum01.04.1994
Seiten480 Seiten
SpracheEnglisch
Gewicht771 g
Artikel-Nr.25647615

Inhalt/Kritik

Inhaltsverzeichnis
The Hilbert intersection point theorems; the constructive theorems; the Hilbert intersection point theorems in solid geometry; a collection of theorems and proofs automatically generated by computers.mehr