Abstract : This volume contains the 14 papers and 3 invited talks presented at ADG 2016: Eleventh International Workshop on Automated Deduction in Geometry held on June 26-28, 2016 in Strasbourg, France.
ADG is a forum facilitating the exchange of ideas, presentation of new research results and demonstrations of software tools lying at the intersection of geometry and automated deduction. The selected papers, reviewed by an international Program Committee, cover diverse topics ranging from polynomial algebra, invariant and coordinate free methods, synthetic and logic approaches, techniques
for automated geometric reasoning from discrete mathematics,
symbolic and numeric methods for geometric computation, geometric algorithms, geometric constraint solving, experimental studies with automated theorem provers,
applications to mechanics, origami and geometric modeling.
The previous ten workshops were held in Coimbra 2014, Edinburgh 2012, Munich 2010, Shanghaï 2008, Pontevedra 2006, Gainesville 2004, Linz 2002, Zurich 2000, Beijing 1998, and Toulouse 1996.