Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications - Wen Tsun Wu - Bücher - Kluwer Academic Publishers - 9780792358350 - 30. April 2001
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Wen Tsun Wu
Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications 2001 edition

Preis
SFr. 85,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

This collection of essays centres around the subject of mathematical mechanization. It tries to deal with mathematics in a constructive and algorithmic manner so that reasoning becomes mechanical, automated and less laborious.

432 pages, biography

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 30. April 2001
Ursprünglich erschienen 2000
ISBN13 9780792358350
Verlag Kluwer Academic Publishers
Seitenanzahl 432
Maße 155 × 235 × 23 mm   ·   784 g
Sprache Englisch  

Weitere Titel von Wen Tsun Wu

Alle anzeigen

Alle Titel von Wen Tsun Wu ansehen ( u. a. Gebundenes Buch und Taschenbuch )