Items related to Machine Proofs In Geometry: Automated Production Of...
Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems: 6 (Series On Applied Mathematics) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherWorld Scientific Publishing Co Pte Ltd
- Publication date1994
- ISBN 10 9810215843
- ISBN 13 9789810215842
- BindingHardcover
- LanguageEnglish
- Number of pages480
Search results for Machine Proofs In Geometry: Automated Production Of...
Stock Image
Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
Published by
World Scientific Publishing Co Pte Ltd, 1994
ISBN 10: 9810215843
ISBN 13: 9789810215842
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-820-476
Quantity: 1 available
Stock Image
Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
Published by
World Scientific Publishing Co Pte Ltd, 1994
ISBN 10: 9810215843
ISBN 13: 9789810215842
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-820-436
Quantity: 1 available