1 option
Machine proofs in geometry : automated production of readable proofs for geometry theorems / Shang-Ching Chou, Xian-Shan Gao, Jing-Zhong Zhang.
Math/Physics/Astronomy Library QA481 .C48 1994
Available
- Format:
- Book
- Author/Creator:
- Chou, Shang-Ching, 1942-
- Series:
- Series on applied mathematics ; v. 6.
- Series on applied mathematics ; v. 6
- Language:
- English
- Subjects (All):
- Axioms--Data processing.
- Axioms.
- Automatic theorem proving.
- Physical Description:
- xvii, 461 pages : illustrations ; 23 cm.
- Place of Publication:
- Singapore ; New Jersey : World Scientific, [1994]
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 9810215843
- OCLC:
- 29911314
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.