Nantilus
Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rou...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. |
| Édition : | 1st ed. 2013. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, [20..] Cham : Springer Nature |
| Collection : | Lecture Notes in Artificial Intelligence ; 7993 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Note sur l'URL : | Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex |
| Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
| Contenu : | Proof and Computation in Geometry. Automation of Geometry: Theorem Proving, Diagram. Generation, and Knowledge Management. Improving Angular Speed Uniformity by C1 Piecewise Reparameterization. Extending the Descartes Circle Theorem for Steiner n-Cycles. Equation Systems with Free-Coordinates Determinants. Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls. Realizations of Volume Frameworks. Rigidity of Origami Universal Molecules. Algebraic Analysis of Huzita s Origami Operations and Their Extensions. On the Formal Analysis of Geometrical Optics in HOL. Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs |
| Sujets : | |
| Documents associés : | Autre format:
Automated Deduction in Geometry Autre format: Automated Deduction in Geometry |