ADG 2014

Invited Speakers

  • James Davenport, University of Bath, United Kingdom - Recent advances in real geometric reasoning
  • António Leal Duarte, University of Coimbra, Portugal - Teaching Tiles
  • Deepak Kapur, University of New Mexico, USA - A generalization of Rabinowitsch's trick and its applications
  • Tomas Recio, University of Cantabria, Spain - Automated theorem proving in dynamic geometry by checking a number of instances