Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathematics and Its Applications, 489, Band 489)

104.14 EUR

Ein praxisorientiertes Buch, das die Verbindung zwischen mechanischer Geometrie und Polynomgleichungen erkundet; es zeigt Schritt-für-Schritt‑Methoden zur automatisierten Beweisführung geometrischer Sätze und zur effizienten Lösung komplexer Gleichungen.

Teilen: