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.
In Collection
#1141
Read It:
Yes
#1141
Read It:
Yes
|
|
||||||||||||||||||
Notes
D. Scott Introducing more abstract algebraic proofs in projective geometry
L. Yang Distance coordinates used in geometric constraint solving
G. Bodná r Testing the normal crossing property of hypersurfaces
J. C. Owen, S. C. Power The nonsolvability by radicals of generic 3-connected planar graphs
Z. Zeng, H. Fu Subresultants and discriminant sequences
I. J. Tchoupaeva Analysis of geometrical theorems in coordinate-free form by using anticommutative Gröbner bases method
H. Li Algebraic representation, expansion and simplification in automated geometric theorem proving
X. S. Gao, Q. Lin MMP/Geometer - A software package for Automated Geometric Reasoning - A progress report
H. G. Gräbe The SymbolicData Proof Scheme Collection as a multiplatform project
J. Robu Geometry theorem proving in the frame of Theorema Project
H. Pottmann Understanding and reconstructing three-dimensional shapes from point clouds
Q. N. Tran Implicitization of geometric objects under affine transformations using Gröbner walks
S. Covez, F. Rouillier Using computer algebra tools to classify serial manipulators
X. Chen, D. Wang The projection of quasi varieties and it's application on geometry theorem proving
J. Schicho Rational Parametrizations of Curves and Surfaces over Various Fields
Y. Wu, H. Shi A special central configuration
C. Jermann, B. Neveu, G. Trombettoni A new structural rigidity for geometric constraint systems
A. Sosnov, P. Macé Rapid algebraic resolution of 3D geometric contraints and control of their consistency
P. Conti, C. Traverso Deciding topological properties: Compactness of basic real semialgebraic sets
B. Buchberger Automated proofs of automated geometry provers
B. Jüttler, J. Schicho, M. Shalaby C1 spline implicitization of planar curves
M. Peternell Rational parametrizations of the Minkowski sum of two quadrics in 3-space
A. Pasko, V. Adzhiev Function-based shape modeling using a specialized language
M. C. Ko, Y. C. Choy Feature-preserving simplification of polygonal surface based on half-edge contraction manner
B. Jüttler The shape of spherical rationsl quartics
G. Landsmann Implicitization of Algebraic Varieties
D. Wang GEOTHER 1.1: Handling and proving geometric theorems automatically
H. Crapo, W. Schmitt Straightening in the Whitney algebra of a matroid
L. Yang Distance coordinates used in geometric constraint solving
G. Bodná r Testing the normal crossing property of hypersurfaces
J. C. Owen, S. C. Power The nonsolvability by radicals of generic 3-connected planar graphs
Z. Zeng, H. Fu Subresultants and discriminant sequences
I. J. Tchoupaeva Analysis of geometrical theorems in coordinate-free form by using anticommutative Gröbner bases method
H. Li Algebraic representation, expansion and simplification in automated geometric theorem proving
X. S. Gao, Q. Lin MMP/Geometer - A software package for Automated Geometric Reasoning - A progress report
H. G. Gräbe The SymbolicData Proof Scheme Collection as a multiplatform project
J. Robu Geometry theorem proving in the frame of Theorema Project
H. Pottmann Understanding and reconstructing three-dimensional shapes from point clouds
Q. N. Tran Implicitization of geometric objects under affine transformations using Gröbner walks
S. Covez, F. Rouillier Using computer algebra tools to classify serial manipulators
X. Chen, D. Wang The projection of quasi varieties and it's application on geometry theorem proving
J. Schicho Rational Parametrizations of Curves and Surfaces over Various Fields
Y. Wu, H. Shi A special central configuration
C. Jermann, B. Neveu, G. Trombettoni A new structural rigidity for geometric constraint systems
A. Sosnov, P. Macé Rapid algebraic resolution of 3D geometric contraints and control of their consistency
P. Conti, C. Traverso Deciding topological properties: Compactness of basic real semialgebraic sets
B. Buchberger Automated proofs of automated geometry provers
B. Jüttler, J. Schicho, M. Shalaby C1 spline implicitization of planar curves
M. Peternell Rational parametrizations of the Minkowski sum of two quadrics in 3-space
A. Pasko, V. Adzhiev Function-based shape modeling using a specialized language
M. C. Ko, Y. C. Choy Feature-preserving simplification of polygonal surface based on half-edge contraction manner
B. Jüttler The shape of spherical rationsl quartics
G. Landsmann Implicitization of Algebraic Varieties
D. Wang GEOTHER 1.1: Handling and proving geometric theorems automatically
H. Crapo, W. Schmitt Straightening in the Whitney algebra of a matroid