Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathematics and Its Applications, 489, Band 489)
Ein Leitfaden, der mechanische Methoden nutzt, um geometrische Theoreme zu beweisen und Polynomgleichungen systematisch zu lösen; er verbindet klassi ...