Proceedings of ADG 2016: Eleventh International Workshop on Automated Deduction in Geometry

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.
Liste complète des métadonnées

Cited literature [204 references]  Display  Hide  Download

https://hal.inria.fr/hal-01334334
Contributor : Julien Narboux <>
Submitted on : Monday, June 20, 2016 - 5:27:19 PM
Last modification on : Saturday, October 27, 2018 - 1:23:48 AM
Document(s) archivé(s) le : Thursday, September 22, 2016 - 7:26:27 PM

File

ADG2016-Proceedings .pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01334334, version 1

Citation

Julien Narboux, Pascal Schreck, Ileana Streinu. Proceedings of ADG 2016: Eleventh International Workshop on Automated Deduction in Geometry. Jun 2016, Strasbourg, France. pp.224, 2016, ⟨http://icube-web.unistra.fr/adg2016/index.php/Accueil⟩. ⟨hal-01334334⟩

Share

Metrics

Record views

395

Files downloads

621