Title: Automated deduction in geometry
Description: Automated Deduction in Geometry: Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings<br />Author: Xiao-Shan Gao, Dongming Wang, Lu Yang<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-66672-1<br /> DOI: 10.1007/3-540-47997-X<br /><br />Table of Contents:<p></p><ul><li>Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving
</li><li>Solving Geometric Problems with Real Quantifier Elimination
</li><li>Automated Discovering and Proving for Geometric Inequalities
</li><li>Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle
</li><li>Readable Machine Solving in Geometry and ICAI Software MSG
</li><li>Plane Euclidean Reasoning
</li><li>A Clifford Algebraic Method for Geometric Reasoning
</li><li>Clifford Term Rewriting for Geometric Reasoning in 3D
</li><li>Some Applications of Clifford Algebra to Geometries
</li><li>Decomposing Algebraic Varieties
</li><li>An Application of Automatic Theorem Proving in Computer Vision
</li><li>Automated Geometry Diagram Construction and Engineering Geometry
</li><li>A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction
</li><li>Variant Geometry Analysis and Synthesis in Mechanical CAD</li></ul>
Subjects: Geometry, Congresses, Symbolic and mathematical Logic, Data processing, Automatic theorem proving, Logic, Symbolic and mathematical