|  |  | 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