Cantitate/Preț
Produs

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers: Lecture Notes in Computer Science, cartea 7993

Editat de Tetsuo Ida, Jacques Fleuriot
en Limba Engleză Paperback – 12 sep 2013
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 29330 lei

Preț vechi: 36662 lei
-20% Nou

Puncte Express: 440

Preț estimativ în valută:
5614 5835$ 4650£

Carte tipărită la comandă

Livrare economică 05-19 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642406713
ISBN-10: 3642406718
Pagini: 204
Ilustrații: X, 193 p. 55 illus.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.29 kg
Ediția:2013
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.

Textul de pe ultima copertă

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.

Caracteristici

Up-to-date results Fast-track conference proceedings State-of-the-art research