The Database contents

The Database contents

In this appendix the first ten geometric results contained in the database are presented, all the info was automatically generated using a report from the GeoThms interface.

• GEO0001 -- Ceva's Theorem
• GEO0002 -- Gauss-line Theorem
• GEO0003 -- Harmonic Set
• GEO0004 -- Thales' Theorem
• GEO0005 -- Pappus' Hexagon Theorem
• GEO0006 -- Menelaus' Theorem
• GEO0007 -- Midpoint Theorem
• GEO0008 -- Orthocenter Theorem
• GEO0009 -- Midpoint of a Parallelogram
• GEO0010 -- The fundamental principle of affine geometry

The Database contents