Proceedings of ADG 2016 - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2016

Proceedings of ADG 2016

Ileana Streinu
  • Fonction : Directeur de publication

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01334334 , version 1

Citer

Julien Narboux, Pascal Schreck, Ileana Streinu (Dir.). Proceedings of ADG 2016: Eleventh International Workshop on Automated Deduction in Geometry. , pp.224, 2016. ⟨hal-01334334⟩
460 Consultations
790 Téléchargements

Partager

Gmail Facebook X LinkedIn More