Automated Deduction in Geometry几何学的自动演绎/会议录

2004-3  

北京燕山出版社  

Winkler, Franz  

229  

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics.

Algorithmic Tests for the Normal Crossing PropertyThe Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula DeductionUsing Computer Algebra Tools to Classify Serial ManipulatorsMMP/Geometer - A Software Package for Automated Geometric ReasoningThe SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof SchemesA New Structural Rigidity for Geometric Constraint SystemsAlgebraic Representation, Elimination and Expansion in Automated Geometric Theorem ProvingThe Nonsolvability by Radicals of Generic 3-connected Planar GraphsFnction-Based Shape Modeling: Mathematical Framework and Specialized LanguageC1 Spline Implicitization of Planar CurvesAnalysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative GrSbner Bases MethodGEOTHER 1.1: Handling and Proving Geometric Theorems AutomaticallyDistance Coordinates Used in Geometric Constraint SolvingAuthor Index

Automated Deduction in Geometry几何学的自动演绎/会议录 PDF格式下载