Advertisement

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)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, 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