Workshop on automated geometry theorem proving

Santiago de Compostela, November 15-18, 2019

Invited plenary speakers

• Francisco Botana Ferreiro

  Universidad de Vigo, Spain

Towards a real, mechanical geometer

• Zoltán Kovács

  Private School of Education of the Diocese of Linz, Austria

Implementing a mechanical geometer in GeoGebra

• Manuel Ladra

  Universidad de Santiago de Compostela, Spain

The unexpected consequences of Rabinowitsch’s trick

• Antonio Montes

  Universitat Politècnica de Catalunya, Spain

Dealing with negative hypotheses and thesis in automatic theorem proving in elementary geometry through the Gröbner Cover

• Pilar Páez-Guillán

  Universidad de Santiago de Compostela, Spain

Dealing with negative hypotheses and thesis in automatic theorem proving in elementary geometry: The unexpected consequences of Rabinowitsch’s trick

• Pavel Pech

  South Bohemian University, Czech Republic

Experiments on Automatic Inclusion of some Non-degeneracy Conditions among the Hypotheses in Locus Equation Computations

• Tomás Recio

  University of Cantabria, Spain

Some pending issues on automated geometry theorem proving

• María Pilar Vélez

  Universidad Antonio de Nebrija,Spain

"True on parts" issues on automatic theorem proving in elementary geometry