What do you think?
Rate this book
Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
Algorithmic Tests for the Normal Crossing Property.- The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction.- Using Computer Algebra Tools to Classify Serial Manipulators.- MMP/Geometer - A Software Package for Automated Geometric Reasoning.- The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes.- A New Structural Rigidity for Geometric Constraint Systems.- Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving.- The Nonsolvability by Radicals of Generic 3-connected Planar Graphs.- Function-Based Shape Mathematical Framework and Specialized Language.- C 1 Spline Implicitization of Planar Curves.- Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method.- GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically.- Distance Coordinates Used in Geometric Constraint Solving.
250 pages, Paperback
Published March 12, 2014
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.