1146516
9789810215842
Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems (Series on Applied Mathematics)
by Shang-Ching Chou, Xian-Shan Gao, Jing-Zhong Zhang
2553
List Price
Discount
56% Off
You Save
$78.00
About this item
- Condition: Like New
- Provider: lowestcostbooks Contact
- Provider Rating: 100%
- Ships From: Andover, KS
- Shipping: Standard, Expedited
- Comments: 1994 World Scientific Publishing Company. Signed by authors Shang-Ching Chou and Xiao-Shan Gao for the previous owner. This hardcover copy, in a like new dustjacket, is in excellent condition. The text is unmarked and the binding is sturdy. "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 b
Product details
- ISBN-13: 9789810215842
- ISBN: 9810215843
- Publisher: World Scientific Pub Co Inc
AUTHOR
SUMMARY
Shang-Ching Chou is the author of 'Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems (Series on Applied Mathematics)' with ISBN 9789810215842 and ISBN 9810215843.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
