Cantitate/Preț
Produs
Total produse
Vezi coșul
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers de Francisco Botana

Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers: Lecture Notes in Computer Science, cartea 9201

Editat de Francisco Botana, Pedro Quaresma
en Limba Engleză Paperback – 27 iul 2015
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 27036 lei

Preț vechi: 33795 lei
-20% Nou

Puncte Express: 406
Preț estimativ în valută:
5174€ • 5408$ • 4372£

Carte tipărită la comandă

Livrare economică 06-20 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319213613
ISBN-10: 331921361X
Pagini: 181
Ilustrații: IX, 181 p. 54 illus.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.28 kg
Ediția:1st ed. 2015
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Cham, Switzerland

Public țintă

Research

Cuprins

Star Unfolding Polygons.- Volume Frameworks and Deformation Varieties.- Recent Advances in Real Geometric Reasoning.- The Relation Tool in GeoGebra.- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems.- Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons.- Extension of Simson-Wallace Theorem on Skew Quadrilaterals.- Current Status of the I2GATP Common Format.- On Flattenability of Graphs.- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams.- Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems.

Textul de pe ultima copertă

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.

Caracteristici

Includes supplementary material: sn.pub/extras