This textbook presents various automatic techniques based on Groebner bases elimination to prove well-known geometrical theorems and formulas. Besides proving theorems, these methods are used to discover new formulas, solve geometric inequalities, and construct objects - which cannot be easily done with a ruler and compass.Each problem is firstly solved by an automatic theorem proving method. Secondly, problems are solved classically - without using computer where possible - so that readers can compare the strengths and weaknesses of both approaches.
Sprache
Verlagsort
Zielgruppe
Für höhere Schule und Studium
Produkt-Hinweis
Maße
Höhe: 238 mm
Breite: 158 mm
Dicke: 18 mm
Gewicht
ISBN-13
978-981-270-942-4 (9789812709424)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
Autor*in
Univ Of South Bohemia, Czech Republic
Automatic Theorem Proving; Generalization of the Formula of Heron; Simson-Wallace Theorem; Transversals in a Polygon; Petr-Douglas-Neumann's Theorem; Geometric Inequalities; Regular Polygons.
