Proceedings of ADG 2016 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2016

Proceedings of ADG 2016


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.
Fichier principal
Vignette du fichier
ADG2016-Proceedings .pdf (7.37 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01334334 , version 1 (20-06-2016)


  • HAL Id : hal-01334334 , version 1


Julien Narboux, Pascal Schreck, Ileana Streinu (Dir.). Proceedings of ADG 2016: Eleventh International Workshop on Automated Deduction in Geometry. , pp.224, 2016. ⟨hal-01334334⟩
458 View
774 Download


Gmail Facebook X LinkedIn More