MPG.eBooks - Table of Contents: Automated Deduction in Geometry

Read Now

Bibliographic Details
Other Authors:	Hong, Hoon (Editor), Wang, Dongming (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2006, 2006
Edition:	1st ed. 2006
Series:	Lecture Notes in Artificial Intelligence
Subjects:	Computer Graphics Computer Science / Mathematics Discrete Mathematics In Computer Science Artificial Intelligence Convex Geometry Formal Languages And Automata Theory Machine Theory Convex And Discrete Geometry Discrete Mathematics Discrete Geometry Automated Pattern Recognition Pattern Recognition Systems
Online Access:	https://doi.org/10.1007/11615798?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

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