Workshop on automated geometry theorem proving

Santiago de Compostela, November 15-18, 2019

Rationale: The goal of this Workshop is to discuss the state of the art and to propose some new lines of research in three different, albeit interrelated, issues within the automated geometry theorem proving topic. Namely, the role of reality in the hypotheses and theses, the different approaches to non-negative theses and hypotheses, the development of algorithms for the automated output of geometric statements holding on a given figure.

Topics include, but are not limited to, computer algebra in the sciences, mechanical geometer, automatic theorem proving, explicit machine computation and programs, geoemtric constructions, mechanization of proofs and logical operations, symbolic computation and algebraic computation, solving polynomial systems, Gröbner bases.

The Workshop program includes lectures from world leading experts in the addressed topics and will foster debate among participants yielding to the proposal of a research agenda on the concerned topics.

Interested participants are encouraged to contact with the organizers for registration and logistic issues.

The Workshop is partially financed by Ministerio de Ciencia, Innovación y Universidades (Spain) through the Dynamisation Actions "Redes de Investigación" RED2018-102709-T, "Proyectos de Excelencia" MTM2016-79661-P (European FEDER support included, UE) and by Xunta de Galicia through the Competitive Reference Groups (GRC), ED431C 2019/10.