Automated Deduction in Geometry: Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

The Second International Workshop on Automated Deduction in Geometry (ADG ’98) was held in Beijing, China, August 1–3, 1998. An increase of interest in ADG ’98 over the previous workshop ADG ’96 is represented by the notable number of more than 40 participants from ten countries and the strong tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun ¨ Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic developments, and applications in CAGD/CAD and computer vision presented by active - searchers, together with geometry software demos, shed light on the features of this second workshop. ADG ’98 was hosted by the Mathematics Mechanization Research Center (MMRC) with ?nancial support from the Chinese Academy of Sciences and the French National Center for Scienti?c Research (CNRS), and was organized by the three co-editors of this proceedings volume. The papers contained in the volume were selected, under a strict refereeing procedure, from those presented at ADG ’98 and submitted afterwards. Most of the 14 accepted papers were carefully revised and some of the revised versions were checked again by external reviewers. We hope that these papers cover some of the most recent and signi?cant research results and developments and re?ect the current state-of-the-art of ADG.

Author(s): Xiao-Shan Gao, Dongming Wang, Lu Yang (auth.)
Series: Lecture Notes in Computer Science 1669 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1999

Language: English
Pages: 292
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Computer Graphics; Image Processing and Computer Vision; Geometry

Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving....Pages 1-13
Solving Geometric Problems with Real Quantifier Elimination....Pages 14-29
Automated Discovering and Proving for Geometric Inequalities....Pages 30-46
Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle....Pages 47-66
Readable Machine Solving in Geometry and ICAI Software MSG....Pages 67-85
Plane Euclidean Reasoning....Pages 86-110
A Clifford Algebraic Method for Geometric Reasoning....Pages 111-129
Clifford Term Rewriting for Geometric Reasoning in 3D....Pages 130-156
Some Applications of Clifford Algebra to Geometries....Pages 156-179
Decomposing Algebraic Varieties....Pages 180-206
An Application of Automatic Theorem Proving in Computer Vision....Pages 207-232
Automated Geometry Diagram Construction and Engineering Geometry....Pages 232-258
A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction....Pages 258-274
Variant Geometry Analysis and Synthesis in Mechanical CAD....Pages 275-285