Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems
Author:   Shang-ching Chou (Wichita State Univ, Usa) ,  Xiaoshan Gao (Chinese Academy Of Sciences, China) ,  Jing-zhong Zhang (Guangzhou University, China & Chinese Academy Of Sciences, China)
Publisher:   World Scientific Publishing Co Pte Ltd
Volume:   6
ISBN:  

9789810215842


Pages:   480
Publication Date:   01 April 1994
Format:   Hardback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $456.72 Quantity:  
Add to Cart

Share |

Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems


Add your own review!

Overview

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.

Full Product Details

Author:   Shang-ching Chou (Wichita State Univ, Usa) ,  Xiaoshan Gao (Chinese Academy Of Sciences, China) ,  Jing-zhong Zhang (Guangzhou University, China & Chinese Academy Of Sciences, China)
Publisher:   World Scientific Publishing Co Pte Ltd
Imprint:   World Scientific Publishing Co Pte Ltd
Volume:   6
ISBN:  

9789810215842


ISBN 10:   9810215843
Pages:   480
Publication Date:   01 April 1994
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now