Contents

Contents

• Contents
• Introduction
• The Framework
• The geoDB database
• The Database contents
• GEO0001 -- Ceva's Theorem
• The Theorem Statement []Chou93
• The Image - GCLC 5.0
• Prover's Code
• Proved -- Proof, made with GCLC, v1.0
• GEO0002 -- Gauss-line Theorem
• The Theorem Statement []Zhang95
• The Image - GCLC 5.0
• Prover's Code
• Proved -- Proof, made with GCLC, v1.0
• GEO0003 -- Harmonic Set
• The Theorem Statement []Chou96
• The Image - GCLC 5.0
• Prover's Code
• Proved -- Proof, made with GCLC, v1.0
• GEO0004 -- Thales' Theorem
• The Theorem Statment
• The Image - GCLC 5.0
• Prover's Code
• Proved -- Proof, made with GCLC, v1.0
• GEO0005 -- Pappus' Hexagon Theorem
• The Theorem Statement []Zhang95
• The Image - GCLC 5.0
• Prover's Code
• Proved -- Proof, made with GCLC, v1.0
• GEO0006 -- Menelaus' Theorem
• The Theorem Statement []Chou96
• The Image - GCLC 5.0
• Prover's Code
• Proved -- Proof, made with GCLC, v1.0
• GEO0007 -- Midpoint Theorem
• The Theorem Statement []Narboux04
• The Image - GCLC 5.0
• Prover's Code
• Proved -- Proof, made with GCLC, v1.0
• GEO0008 -- Orthocenter Theorem
• The Theorem Statement []Chou93
• The Image - GCLC 5.0
• Prover's Code
• Proved -- Proof, made with GCLC, v1.0
• GEO0009 -- Midpoint of a Parallelogram
• The Theorem Statement []Zhang95
• The Image - GCLC 5.0
• Prover's Code
• Proved -- Proof, made with GCLC, v1.0
• GEO0010 -- The fundamental principle of affine geometry
• The Theorem Statement []Zhang95
• The Image - GCLC 5.0
• Prover's Code
• Proved -- Proof, made with GCLC, v1.0
• References

Contents