Selected Topics In Geometry With Classical Vs. Computer Proving
Pech P.
ISBN: 9789812709424
Vydavateľstvo: World Scientific
Rok vydania: 2007
Väzba: Hardback
Počet strán: 252
Pôvodná cena: 125,40 €
Výstavná cena:
106,59 €(t.j. po zľave 15%)
(Cena je uvedená vrátane 10% DPH)
Katalógová cena: 95 GBP
Nárok na
dopravu zdarma
Termín dodania na našu pobočku v Bratislave je približne 2-3 týždne.
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.