Cargando…

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ida, Tetsuo (Editor ), Fleuriot, Jacques (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Colección:Lecture Notes in Artificial Intelligence, 7993
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.