Issues on Automated Reasoning Tools

Zoltán Kovács, Feb 27, 2017

A collection of issues found by Pilar Vélez, Katharina Schiffler and Zoltán Kovács.

Table of Contents

  1. Pilar's examples
    1. Inscribed and central angles
    2. Inscribed and circumscribed squares
    3. Bisectors as a locus
    4. Simson-Wallace variation
  2. Katharina's examples
    1. Mittellinie
    2. Satz von Varignon
    3. Umkreismittelpunkt
    4. Trägergeraden der Höhen eines Dreiecks
    5. Schwerpunkt eines Dreiecks
    6. Inkreismittelpunkt eines Dreiecks
    7. Fermat-Punkt eines Dreiecks
    8. Euler'sche Gerade

1.

Pilar's examples

A collection of Pilar's examples

  • 1. Inscribed and central angles
  • 2. Inscribed and circumscribed squares
  • 3. Bisectors as a locus
  • 4. Simson-Wallace variation

1.1.

Inscribed and central angles

– M. Pilar Vélez

1.2.

–

1.3.

–

1.4.

–

2.

Katharina's examples

Some nice theorems tested by Katharina.

  • 1. Mittellinie
  • 2. Satz von Varignon
  • 3. Umkreismittelpunkt
  • 4. Trägergeraden der Höhen eines Dreiecks
  • 5. Schwerpunkt eines Dreiecks
  • 6. Inkreismittelpunkt eines Dreiecks
  • 7. Fermat-Punkt eines Dreiecks
  • 8. Euler'sche Gerade

2.1.

Mittellinie

– schika

2.2.

–

2.3.

–

2.4.

–

2.5.

–

2.6.

–

2.7.

–

2.8.

–

Information