Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / / edited by Tetsuo Ida, Jacques Fleuriot

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
• Edizione: 1st ed. 2013.
• Descrizione fisica: 1 online resource (X, 193 p. 55 illus.)
• Disciplina: 006.3
• Soggetto topico: Artificial intelligence; Computer graphics; Machine theory; Computer science - Mathematics; Discrete mathematics; Software engineering; Artificial Intelligence; Computer Graphics; Formal Languages and Automata Theory; Symbolic and Algebraic Manipulation; Discrete Mathematics in Computer Science; Software Engineering
• Persona (resp. second.): IdaTetsuo; FleuriotJacques
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: 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.
• Sommario/riassunto: 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 rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.
• Titolo autorizzato: Automated Deduction in Geometry
• ISBN: 3-642-40672-6
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910484794003321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture Notes in Artificial Intelligence, . 2945-9141 ; ; 7993