Automated Deduction in Geometry

Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings

  • Xiao-Shan Gao
  • Dongming Wang
  • Lu Yang
Conference proceedings ADG 1998
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1669)

Table of contents

  1. Front Matter
    Pages I-VII
  2. Lu Yang, Xiaorong Hou, Bican Xia
    Pages 30-46
  3. Chuan-Zhong Li, Jhing-Zhong Zhang
    Pages 67-85
  4. Desmond Fearnley-Sander
    Pages 86-110
  5. Haiquan Yang, Shugong Zhang, Guochen Feng
    Pages 111-129
  6. Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang
    Pages 130-156
  7. Dongming Wang
    Pages 180-206
  8. Didier Bondyfalat, Bernard Mourrain, Théodore Papadopoulo
    Pages 207-232
  9. Back Matter
    Pages 287-287

About these proceedings

Introduction

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.

Keywords

Automat automated deduction composing computer vision problem solving proving theorem proving

Authors and affiliations

  • Xiao-Shan Gao
    • 1
  • Dongming Wang
    • 2
  • Lu Yang
    • 3
  1. 1.Academia SinicaInstitute of Systems ScienceBeijingChina
  2. 2.Laboratoire LEIBNIZInstitut IMAGGrenoble CedexFrance
  3. 3.Laboratory for Automated Reasoning and ProgrammingChengdu Institute of Computer Applications, Academia SinicaChengduChina

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-47997-X
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66672-1
  • Online ISBN 978-3-540-47997-0
  • Series Print ISSN 0302-9743