Selected Topics In Geometry With Classical Vs. Computer Proving
Author | : Pavel Pech |
Publisher | : World Scientific Publishing Company |
Total Pages | : 252 |
Release | : 2007-11-12 |
ISBN-10 | : 9789813107038 |
ISBN-13 | : 9813107030 |
Rating | : 4/5 (030 Downloads) |
Download or read book Selected Topics In Geometry With Classical Vs. Computer Proving written by Pavel Pech and published by World Scientific Publishing Company. This book was released on 2007-11-12 with total page 252 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.