Automated Deduction in Geometry

10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

  • Francisco Botana
  • Pedro Quaresma
Conference proceedings ADG 2014

DOI: 10.1007/978-3-319-21362-0

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

Table of contents (11 papers)

  1. Front Matter
    Pages I-IX
  2. Star-Unfolding Polygons
    Md. Ashraful Alam, Ileana Streinu
    Pages 1-20
  3. Volume Frameworks and Deformation Varieties
    Ciprian S. Borcea, Ileana Streinu
    Pages 21-36
  4. Recent Advances in Real Geometric Reasoning
    James H. Davenport, Matthew England
    Pages 37-52
  5. The Relation Tool in GeoGebra 5
    Zoltán Kovács
    Pages 53-71
  6. Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
    Vesna Marinković, Predrag Janičić, Pascal Schreck
    Pages 72-93
  7. Current Status of the I2GATP Common Format
    Pedro Quaresma, Nuno Baeta
    Pages 119-128
  8. On Flattenability of Graphs
    Meera Sitharam, Joel Willoughby
    Pages 129-148
  9. Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams
    Dan Song, Dongming Wang, Xiaoyu Chen
    Pages 149-165
  10. Back Matter
    Pages 181-181

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.

Keywords

automated deduction in geometry automated reasoning automated theorem discovery automated theorem proving circumradius formula common formats for geometry computational geometry computer aided mathematics education computer algebra coq system cyclic polygons deformation space dynamic geometry systems geogebra geometric knowledge management pattern matching shape recognition theorem discovery volume framework

Editors and affiliations

  • Francisco Botana
    • 1
  • Pedro Quaresma
    • 2
  1. 1.University of VigoPontevedraSpain
  2. 2.University of CoimbraCoimbraPortugal

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-21361-3
  • Online ISBN 978-3-319-21362-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349