Automated Deduction in Geometry
Subtitle: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Contributors: Xiao-Shan Gao (Editor); Dongming Wang (Editor); Lu Yang (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 12, 1999
Language: eng
Format: Paperback
Number of pages: 287
ISBN-13: 9783540666721
Subjects: Artificial intelligence; Geometry; Image processing: graphics (static images); Mathematical theory of computation; Geometry - General; Computer Science; Logic, Symbolic and mathematical; Automata; Mathematics; Computer Books: General; General; Congresses; Artificial Intelligence - General; Automated Deduction; Computational Geometry; Computer Vision; Computer-Aided Geometric Design; Computers / Artificial Intelligence; Geometric Problem Solving; Geometry Software; Logic, Symbolic and mathematic; Automatic theorem proving; Data processing
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>