Cantitate/Preț
Produs

Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers: Lecture Notes in Computer Science, cartea 3763

Editat de Hoon Hong, Dongming Wang
en Limba Engleză Paperback – 25 ian 2006

Din seria Lecture Notes in Computer Science

Preț: 32958 lei

Preț vechi: 41198 lei
-20% Nou

Puncte Express: 494

Preț estimativ în valută:
6307 6545$ 5272£

Carte tipărită la comandă

Livrare economică 15-29 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540313328
ISBN-10: 354031332X
Pagini: 213
Ilustrații: X, 213 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.34 kg
Ediția:2006
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

Mechanical Theorem Proving in Computational Geometry.- Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness.- Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases.- Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides.- Symbolic Solution of a Piano Movers’ Problem with Four Parameters.- Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods.- Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach.- On the Decidability of Tracing Problems in Dynamic Geometry.- Towards a Geometric-Object-Oriented Language.- Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods.- nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation.- Planar Generalized Stewart Platforms and Their Direct Kinematics.