Contributed Talks
- Star unfolding polygons, Md. Ashraful Alam and Ileana Streinu
- Using small scale automation to improve both accessibility and readability of formal proofs in geometry, Pierre Boutry, Julien Narboux, Pascal Schreck, Gabriel Braunr
- A short note about case distinctions in Tarski’s geometry. Pierre Boutry, Julien Narboux, Pascal Schreck, Gabriel Braunr
- Current Status of the I2GATP common format, Pedro Quaresma, Nuno Baeta
- Automated Natural Language Geometry Math Problem Solving by Real Quantier Elimination, Hidenao Iwane, Takuya Matsuzaki, Noriko Arai, Hirokazu Anai
- RC-constructibility of problems in Wernick’s list, Pascal Schreck, Pascal Mathis
- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams, Dan Song, Dongming Wang, Xiaoyu Chen
- Using the GröbnerCover Algorithm to Automatically Compute Loci and Envelopes in a 3D Dynamic Geometry Environment. A Prototype Description, Miguel A. Abanades, Francisco Botana, Jesus Escribano
- Solving Geometric Construction Problems Supported by Theorem Proving, Vesna Marinkovic, Predrag Janicic, Pascal Schreck
- Detecting dependencies in geometric constraint systems, James Farre, Helena Kleinschmidt, Jessica Sidman, Audrey St. John, Stephanie Stark, LouisTheran
- Volume frameworks and deformation varieties, Ciprian Borcea and Ileana Streinu
- Extension of Simson-Wallace theorem on skew quadrilaterals, Pavel Pech
- The portfolio prover in GeoGebra 5, Zoltán Kovács
- Some Reflections on Dynamic Geometry Systems (the GUIs for ADG), Eugenio Roanes-Lozano, Eugenio Roanes-Macías
