Preliminary Proceedings of the ADG 2014, 10th International Workshop on Automated Deduction in Geometry
Authors
Abstract
This volume contains the papers presented at ADG 2014, the 10th International Workshop on Automated Deduction in Geometry, held on July 9-11, 2014 at the University of Coimbra.After the review process by program committee members and external referees, fifteen papers were accepted for presentation. The programme also included four invited talks by Prof. James Davenport, University of Bath, UK, Prof. António Leal Duarte, University of Coimbra, Portugal, Prof. Deepak Kapur, University of New Mexico, USA, and Prof. Tomás Recio, University of Cantabria, Spain.
ADG 2014 is part of a well-established, international series of workshops. Previous editions of the meeting were held in Edinburgh in 2012, Munich in 2010, Shanghai in 2008, Pontevedra in 2006, Gainesville in 2004, Hagenberg in 2002, Zurich in 2000, Beijing in 1998, and Toulouse in 1996.
We wish to thank the University of Coimbra for its kind hospitality and for providing financial support and administrative help for the event and also the other Portuguese sponsors - Center for Informatics and Systems of the University of Coimbra (CISUC), the Center of Mathematics of the University of Coimbra (CMUC), Center of Mathematics of the University of Porto (CMUP), the Fundação para a Ciência e a Tecnologia (FCT) of the Ministério da Educação e Ciência and the Câmara Municipal de Coimbra (CMC). Most importantly, we thank the invited speakers, the contributing authors, the referees, the members of the program committee and the local organizers, all of whose time and effort have contributed to the practical and scientific success of the meeting. Support from EasyChair is also gratefully acknowledged.
July 9, 2014, Coimbra
Francisco Botana
Pedro Quaresma