Selected Topics In Geometry With Classical Vs. Computer Proving

Pavel Pech (Autor)

Buch | Hardcover

252 Seiten

2007
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-270-942-4 (ISBN)

Titel z.Zt. nicht lieferbar
Versandkostenfrei
Auch auf Rechnung

Artikel merken

Presents various techniques of elimination based on Grobner bases to prove well-known geometrical theorems and formulas. This title solves problems classically - without using computer where possible - so that readers can compare the strengths and weaknesses of both approaches.

This textbook presents various automatic techniques based on Gröbner 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.

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.

Erscheint lt. Verlag	11.12.2007
Verlagsort	Singapore
Sprache	englisch
Themenwelt	Mathematik / Informatik ► Mathematik ► Geometrie / Topologie
ISBN-10	981-270-942-8 / 9812709428
ISBN-13	978-981-270-942-4 / 9789812709424
Zustand	Neuware