Machine proofs in geometry : automated production of readable proofs for geometry theorems

Author(s)

• Chou, Shang-Ching
• Gao, Xiao-Shan
• Chang, Ching-chung

Bibliographic Information

Machine proofs in geometry : automated production of readable proofs for geometry theorems

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang

（Series on applied mathematics, v. 6）

World Scientific, c1994

Note

Includes bibliographical references and index

• NCID: BA22559998
• ISBN:
  • 9810215843
• LCCN: 94005809
• Country Code: si
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Singapore ; New Jersey
• Pages/Volumes: xvii, 461 p.
• Size: 24 cm
• Classification:
  • LCC : QA481
  • DC20 : 516/.00285/51
• Subject Headings:
  • LCSH : Axioms -- Data processing
  • LCSH : Automatic theorem proving
• Parent Bibliography ID:
  • BA19087879