Selected topics in geometry with classical vs. computer proving
By: Pavel Pech.
Publisher: World Scientific
Published: 2007
Place of publication: Hackensack, NJ
Language: eng
Number of pages: 239
ISBN-13: 9789812709424
Subjects: Geometry; Geometry -- Computer programs; Problem solving
Description: "This textbook presents various automatic techniques based on Grobner 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."--Jacket.
Notes: Includes bibliographical references (p. 227-233) and index.