ADG 2014

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