Mohlo by sa vám tiež páčiť

Informovať o naskladnení knihy

Viac informácií o knihe Selected Topics In Geometry With Classical Vs. Computer Proving

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 348 bodov

Anotácia knihy

This textbook presents various techniques of elimination based on Grobner bases 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 easily be done with a ruler and compass. Each problem is firstly solved by the method of automatic theorem proving. Secondly, problems are solved classically - without using computer where possible - so that readers can compare the strengths and weaknesses of both approaches.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Geometry

• Celý názov: Selected Topics In Geometry With Classical Vs. Computer Proving
• Autor: Pavel Pech
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 252
• EAN: 9789812709424
• ISBN: 9812709428
• ID: 05068858
• Nakladateľ: World Scientific Publishing Co Pte Ltd
• Hmotnosť: 488 g
• Rozmery: 231 × 163 × 18 mm
• Dátum vydania: 15. October 2007

Obľúbené z iného súdka

---

---

---