REMIS Paper Data

Mechanical Geometry Theorem Proving

Author	Chou, Shang-Ching
Title	Mechanical Geometry Theorem Proving
Series	Mathematics and its applications
Publisher	D. Reidel Publishing Company
Address	Dordrecht, Boston, Lancaster, Tokyo
Year	1988
Isbn	90-277-2650-7
Signature	806 SK 380 C522
Pubtype	Book

Fileid	Chou_88
Name	Chou
Status	unclear
Xtitle	Mechanical Geometry Theorem Proving

dsw96_ex06 (p.6, described on p.4, Example 2.1) Real Geometry Proving - Chou 2.1
dsw96_ex07 (p.7, Example 2.2) Real Geometry Proving - Simson's Theorem
dsw96_ex08 (p.57, Example 3.9) Counterexample for Geometry Provers over C
dsw96_ex09 (p.58, Example 5.1) Real Geometry Proving - Chou 5.1
dsw96_ex10 (p.62, Example 5.2) Real Geometry Proving - Feuerbachs Theorem
dsw96_ex11 (pp.62-63, Example 5.3) Real Geometry Proving - Chou 5.3
dsw96_ex12 (p.71, Example 5.7) Real Geometry Proving - Example by Paterson
dsw96_ex13 (p.72-73, Example 5.8) Real Geometry Proving - Gergonne's Theorem
dsw96_ex14 (p.73, Example 5.9) Real Geometry Proving - Paterson's Problem