Selected Topics In Geometry With Classical Vs. Computer Proving
Regular price
€107.99
14 days return policy
Shipping & Delivery
A01=Pavel Pech
Author_Pavel Pech
Automatic Theorem Proving
Category=PBM
Classical Solution
Elimination of Variables
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Generalization of Heron's Formula
Generalization of Wallace-Simson Theorem
Geometric Inequalities
Non-Elementary Constructions
PDN Theorem
Planarity of Regular Polygons
Radical Membership
Product details
- ISBN 9789812709424
- Publication Date: 11 Dec 2007
- Publisher: World Scientific Publishing Co Pte Ltd
- Publication City/Country: SG
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
