Machine proofs in geometry : automated production of readable proofs for geometry theorems / Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang.



Book

Information About

Includes bibliographical references (page 445-454) and index. 2. 0. F200708. PPABOX714.

Title
Machine proofs in geometry : automated production of readable proofs for geometry theorems / Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang.
Artist
Gao, Xiao-Shan. http://id.loc.gov/authorities/names/n94015565. http://viaf.org/viaf/120094986.
Subjects
Language
Type
Book
Abstract
Year
1994
Original Publisher(s)
Digital Publisher(s)