Lecture Notes in Artificial Intelligence

Automated Deduction in Geometry

Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

Editors: Gao, Xiao-Shan, Wang, Dongming, Yang, Lu (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-47997-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-66672-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (4 chapters)

  • Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving

    Wen-tsü Wu

    Pages 1-13

  • Solving Geometric Problems with Real Quantifier Elimination

    Andreas Dolzmann

    Pages 14-29

  • A Clifford Algebraic Method for Geometric Reasoning

    Haiquan Yang, Shugong Zhang, Guochen Feng

    Pages 111-129

  • Automated Geometry Diagram Construction and Engineering Geometry

    Xiao-Shan Gao

    Pages 232-258

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-47997-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-66672-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Deduction in Geometry
Book Subtitle
Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Editors
  • Xiao-Shan Gao
  • Dongming Wang
  • Lu Yang
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
1669
Copyright
1999
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47997-0
DOI
10.1007/3-540-47997-X
Softcover ISBN
978-3-540-66672-1
Edition Number
1
Number of Pages
VIII, 292
Topics