• Produktbild: Mathematics Mechanization
  • Produktbild: Mathematics Mechanization
Band 489 - 12%

Mathematics Mechanization Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving

12% sparen

93,99 € UVP 106,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.04.2001

Verlag

Springer Netherland

Seitenzahl

420

Maße (L/B/H)

24,1/16/2,8 cm

Gewicht

785 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-0-7923-5835-0

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.04.2001

Verlag

Springer Netherland

Seitenzahl

420

Maße (L/B/H)

24,1/16/2,8 cm

Gewicht

785 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-0-7923-5835-0

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Mathematics Mechanization
  • Produktbild: Mathematics Mechanization
  • Preface. Part I: Historical Developments. 1. Polynomial Equations-Solving in Ancient Times, Mainly in Ancient China. 2. Historical Development of Geometry Theorem-Proving and Geometry Problem-Solving in Ancient Times. Part II: Principles and Methods. 3. Algebraic Varieties as Zero-Sets and Characteristic-Set Method. 4. Some Topics in Computer Algebra. 5. Some Topics in Computational Algebraic Geometry. Part III: Applications and Examples. 6. Applications to Polynomial Equations-Solving. 7. Applications to Geometry Theorem-Proving. 8. Diverse Applications. Bibliography. Index.