Automated Deduction in Geometry

5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers

  • Hoon Hong
  • Dongming Wang
Conference proceedings ADG 2004
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3763)

Table of contents

About these proceedings

Keywords

automated deduction computational geometry computer vision computer-aided design dynamic geometry formal verification geometric deduction geometric modeling geometric optimization geometric problem solving geometry software kinematics optimization proving theorem proving

Editors and affiliations

  • Hoon Hong
    • 1
  • Dongming Wang
    • 2
  1. 1.Department of MathematicsNorth Carolina State UniversityRaleighUSA
  2. 2.LMIB – SKLSDE – School of ScienceBeihang UniversityBeijingChina

Bibliographic information

  • DOI https://doi.org/10.1007/11615798
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-31332-8
  • Online ISBN 978-3-540-31363-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349