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

Informovať o naskladnení knihy

Viac informácií o knihe Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems

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

Nákupom získate 399 bodov

Anotácia knihy

This book begins by introducing the area method, and recent results in automating the area method. It can either be used as a geometry text for students and geometers, or be regarded as a monograph on machine proofs in geometry. By automating the area method, this book presents a systematic way of proving geometry theorems using traditional methods. The authors aim to make learning and teaching geometry easier through this book.

Parametre knihy

Zaradenie knihy Books in English Mathematics & science Mathematics Geometry

• Celý názov: Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
• Autor: Shang-Ching Chou, X.-S. Gao, J.-Z. Zhang
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 480
• EAN: 9789810215842
• ISBN: 9810215843
• ID: 05064599
• Nakladateľ: World Scientific Publishing Co Pte Ltd
• Hmotnosť: 771 g
• Dátum vydania: 01. April 1994

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

---

---

---