loading...

UC.PT

ADG 2014

General Information

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

Workshop

 9-11, July, 2014

Poster

posterADG14

Colocated with

CICM 2014, Conferences on Intelligent Computer Mathematics, 7-11 July 2014, University Coimbra, Portugal.