Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers / edited by Hoon Hong, Dongming Wang.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 3763 | Lecture Notes in Computer Science ; 3763Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Descripción: X, 213 p. Also available online. online resourceTipo de contenido:- text
- computer
- online resource
- 9783540313632
- SpringerLink (Online service)
- Computer science
- Computational complexity
- Artificial intelligence
- Computer graphics
- Optical pattern recognition
- Discrete groups
- Computer Science
- Artificial Intelligence (incl. Robotics)
- Mathematical Logic and Formal Languages
- Discrete Mathematics in Computer Science
- Computer Graphics
- Pattern Recognition
- Convex and Discrete Geometry
- 006.3 23
- Q334-342
- TJ210.2-211.495
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.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.