Selected Topics In Geometry With Classical Vs. Computer Proving

Selected Topics In Geometry With Classical Vs. Computer Proving

By: Pavel Pech (author)Hardback

Up to 2 WeeksUsually despatched within 2 weeks


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.


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.

Product Details

  • ISBN13: 9789812709424
  • Format: Hardback
  • Number Of Pages: 252
  • ID: 9789812709424
  • ISBN10: 9812709428

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly