Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ida, Tetsuo (Επιμελητής έκδοσης), Fleuriot, Jacques (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Σειρά: Lecture Notes in Computer Science, 7993
• Θέματα: Computer science.; Software engineering.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Computer graphics.; Computer Science.; Artificial Intelligence (incl. Robotics).; Computer Graphics.; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.; Discrete Mathematics in Computer Science.; Software Engineering.

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...

Πίνακας περιεχομένων:

• 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.