Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers /

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Hong, Hoon (Editor), Wang, Dongming (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Series:Lecture Notes in Artificial Intelligence, 3763
Subjects:
Artificial intelligence.
Machine theory.
Computer science-Mathematics.
Discrete mathematics.
Computer graphics.
Pattern recognition systems.
Convex geometry .
Discrete geometry.
Artificial Intelligence.
Formal Languages and Automata Theory.
Discrete Mathematics in Computer Science.
Computer Graphics.
Automated Pattern Recognition.
Convex and Discrete Geometry.
Online Access:Texto Completo
Table of Contents:
  • 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.

Similar Items