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)

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

  • DOI https://doi.org/10.1007/978-3-540-77356-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-77355-9
  • Online ISBN 978-3-540-77356-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349