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)

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

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-642-40672-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40671-3
  • Online ISBN 978-3-642-40672-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349