Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems (Series on Applied Mathematics, Vol 6) Shang-Ching Chou

ISBN: 9789810215842

Published: April 28th 1994

Hardcover

400 pages


Description

Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems (Series on Applied Mathematics, Vol 6)  by  Shang-Ching Chou

Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems (Series on Applied Mathematics, Vol 6) by Shang-Ching Chou
April 28th 1994 | Hardcover | PDF, EPUB, FB2, DjVu, talking book, mp3, RTF | 400 pages | ISBN: 9789810215842 | 7.12 Mb

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 theMoreThis 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.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems (Series on Applied Mathematics, Vol 6)":


fundacja-zdrowekieszonkowe.pl

©2013-2015 | DMCA | Contact us