Selected Topics in Geometry with Classical vs. Computer Proving

Automatic Theorem Proving Generalization of the Formula of Heron Simson-Wallace Theorem Transversals in a Polygon Petr-Douglas-Neumann's Theorem Geometric Inequalities Regular Polygons.