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

DOI: 10.1007/11615798

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3763)

Table of contents (12 papers)

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

  • 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