Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : procee | International Workshop on Automated Deduction in Geometry (2nd : 1998 : Beijing, China), Gao, Xiao-Shan, Wang, Dongming, Yang, Lu, 1936-

Automated Deduction in Geometry: Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings
Author: Xiao-Shan Gao, Dongming Wang, Lu Yang
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66672-1
DOI: 10.1007/3-540-47997-X

Table of Contents:

Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving
Solving Geometric Problems with Real Quantifier Elimination
Automated Discovering and Proving for Geometric Inequalities
Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle
Readable Machine Solving in Geometry and ICAI Software MSG
Plane Euclidean Reasoning
A Clifford Algebraic Method for Geometric Reasoning
Clifford Term Rewriting for Geometric Reasoning in 3D
Some Applications of Clifford Algebra to Geometries
Decomposing Algebraic Varieties
An Application of Automatic Theorem Proving in Computer Vision
Automated Geometry Diagram Construction and Engineering Geometry
A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction
Variant Geometry Analysis and Synthesis in Mechanical CAD

Includes bibliographical references and index

Download Zip 1 Pdf 5.43 MB More File Format

Download PDF . 5.43 MB