Automated Deduction in Geometry

9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

  • Tetsuo Ida
  • Jacques Fleuriot
Conference proceedings ADG 2012

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

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

Table of contents

  1. Front Matter
  2. Michael Beeson
    Pages 1-30
  3. Jing Yang, Dongming Wang, Hoon Hong
    Pages 33-47
  4. Pascal Mathis, Pascal Schreck
    Pages 59-70
  5. Christophe Brun, Jean-François Dufourd, Nicolas Magaud
    Pages 71-88
  6. Gabriel Braun, Julien Narboux
    Pages 89-109
  7. Ciprian S. Borcea, Ileana Streinu
    Pages 110-119
  8. John C. Bowers, Ileana Streinu
    Pages 120-142
  9. Fadoua Ghourabi, Asem Kasem, Cezary Kaliszyk
    Pages 143-160
  10. Umair Siddique, Vincent Aravantinos, Sofiène Tahar
    Pages 161-180
  11. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.


computer-aided proofs coq system formal specifications hypermaps program derivation

Editors and affiliations

  • Tetsuo Ida
    • 1
  • Jacques Fleuriot
    • 2
  1. 1.Department of Computer Science, 1006, Laboratory of Advanced ResearchUniversity of TsukubaTsukubaJapan
  2. 2.School of Informatics, Informatics ForumUniversity of EdinburghEdinburghUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-40671-3
  • Online ISBN 978-3-642-40672-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site