Workshop on automated geometry theorem proving

Santiago de Compostela, November 15-18, 2019

Program

The conference will start the 15th in the afternoon and it will end the 18th at noon.

Attendants may pick up their credentials and conference documentation starting on Friday 15th afternoon.

Detailed Programme of Talks

• Saturday, November 16

9:30-10:30 T. Recio (Universidad de Cantabria): Some pending issues on automated geometry theorem proving

10:30-11:00 Coffee Break

Session 1: Real Geometry Issues

11:00-12:30 Z. Kovács (Private School of Education of the Diocese of Linz)/R. Vajda(University of Szeged): Real algebraic geometry issues on automatic theorem proving in elementary geometry
12:30-13:30 F. Botana (Universidad de Vigo): Towards a real, mechanical geometer
13:30-14:00  Open Debate

Session 2: Negative theses and hypotheses

16:00-17:30 M. P. Páez / M. Ladra (Universidad de Santiago de Compostela): Dealing with negative hypotheses and thesis in automatic theorem proving in elementary geometry: The unexpected consequences of Rabinowitsch’s trick
17:30-18:00 Coffee Break
18:00-19:30  A. Montes (Universitat Politècnica de Catalunya): Dealing with negative hypotheses and thesis in automatic theorem proving in elementary geometry through the Gröbner Cover
19:30-20:00  Open Debate

• Sunday, November 17

Session 3: Real Geometry Issues (continued)

9:30-10:30 M. P. Vélez (Universidad Antonio de Nebrija): "True on parts" issues on automatic theorem proving in elementary geometry.
10:30-11:00 Coffee Break
 11:00-12:00 Open Debate

Session 4: Negative theses and hypotheses (continued)

12:00-13:30 P. Pech (South Bohemian University): Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computation
13:30-14:00 Open Debate

Session 5: Towards a mechanical geometer

16:00-17:30 Z. Kovács: Implementing a mechanical geometer in GeoGebra
17:30-18:00 Coffee Break
18:00-19:00 T. Recio: Some issues on the mechanical geometry theorem discovery
19:00-20:00 Open Debate

•Monday, November 18

Session 6: Towards a mechanical geometer (continued)

9:30-10:30 F. Botana: Towards a real, mechanical geometer.
10:30-11:00 Coffee Break
 11:00-12:00 Open Debate

12:00-13:00  Conclusions and Closing session.