Machine Proofs in Geometry : Automated Production of Readable Proofs for Geometry Theorems,9789810215842

Machine Proofs in Geometry : Automated Production of Readable Proofs for Geometry Theorems

by ; ;
ISBN13: 9789810215842
ISBN10: 9810215843
Format: Hardcover
Pub. Date: 1994-04-01
Publisher(s): World Scientific Pub Co Inc
  • Free Shipping Icon

    This Item Qualifies for Free Shipping!*

    *Excludes marketplace orders.

List Price: $102.00

Rent Textbook

Select for Price
Add to Cart
There was a problem. Please try again later.

Rent Digital

Rent Digital Options
Online:1825 Days access
Downloadable:Lifetime Access
$70.80
*To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.
$70.80*
Add to Cart

New Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

Table of Contents

Foreword
Preface
The Theory of Machine Proof
Geometry Preliminariesp. 1
The Area Methodp. 51
Machine Proof in Plane Geometryp. 101
Machine Proof in Solid Geometryp. 167
Vectors and Machine Proofsp. 217
Topics From Geometry: A Collection of 400 Mechanically Proved Theorems
Topics From Geometryp. 255
Bibliographyp. 445
List of Symbolsp. 455
Indexp. 457
Table of Contents provided by Blackwell. All Rights Reserved.

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.