An edition of Machine proofs in geometry (1994)

Machine proofs in geometry

automated production of readable proofs for geometry theorems

by

  • 1 Want to read
Cover of: Machine proofs in geometry by Chou, Shang-Ching, Chou, Shang-Ching
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 1 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
August 17, 2023 | History
Edit
An edition of Machine proofs in geometry (1994)

Machine proofs in geometry

automated production of readable proofs for geometry theorems

by

  • 1 Want to read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
World Scientific
Language
English
Pages
461

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Axioms, Data processing, Automatic theorem proving, Geometry, data processing
Edition Availability
Cover of: Machine proofs in geometry
Machine proofs in geometry: automated production of readable proofs for geometry theorems
1994, World Scientific
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 445-454) and index.

Published in
Singapore, New Jersey
Series
Series on applied mathematics ;, v. 6

Classifications

Dewey Decimal Class
516/.00285/51
Library of Congress
QA481 .C48 1994, QA481.C48 1994

The Physical Object

Pagination
xvii, 461 p. :
Number of pages
461

ID Numbers

Open Library
OL1082226M
Internet Archive
machineproofsgeo00chou
ISBN 10
9810215843
LCCN
94005809
OCLC/WorldCat
29911314
Goodreads
2701123

Source records

OpenLibraries-Trent-MARCs record
Internet Archive item record
Internet Archive item record
Internet Archive item record
Internet Archive item record
Library of Congress MARC record
Better World Books record
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
August 17, 2023 Edited by ImportBot import existing book
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
February 14, 2010 Edited by WorkBot add more information to works
December 10, 2009 Created by WorkBot add works page