Advertisement

© 2007

Automated Deduction in Geometry

6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

  • Editors
  • Francisco Botana
  • Tomas Recio
Conference proceedings ADG 2006

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 4869)

Table of contents

About these proceedings

Keywords

3D-geometry algorithm verification algorithms automated deduction automatic discovering cognition computational geometry computer vision computer-aided design dynamic geometry formal reasoning formal verification proving theorem proving verification

Bibliographic information