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

  • 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
  • Buy this book on publisher's site