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

Littérature citée [204 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01334334
Contributeur : Julien Narboux <>
Soumis le : lundi 20 juin 2016 - 17:27:19
Dernière modification le : mercredi 22 février 2017 - 01:09:22
Document(s) archivé(s) le : jeudi 22 septembre 2016 - 19:26:27

Fichier

ADG2016-Proceedings .pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01334334, version 1

Collections

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〉

Partager

Métriques

Consultations de
la notice

200

Téléchargements du document

360