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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Ausgabe: | 1st ed. 2013. |
| Schriftenreihe: | Lecture Notes in Artificial Intelligence
7993 |
| Online Zugang: | Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Automated Deduction in Geometry, Texte imprimé, 9783642406713 • Automated Deduction in Geometry, Texte imprimé, 9783642406737 |
Inhaltsangabe:
- 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