Advertisement

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

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

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

Table of contents

  1. Front Matter
    Pages I-IX
    PDF
  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. Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons
    Shuichi Moritsugu
    Pages 94-107
  8. Extension of Simson–Wallace Theorem on Skew Quadrilaterals and Further Properties
    Pavel Pech
    Pages 108-118
  9. Current Status of the I2GATP Common Format
    Pedro Quaresma, Nuno Baeta
    Pages 119-128
  10. On Flattenability of Graphs
    Meera Sitharam, Joel Willoughby
    Pages 129-148
  11. Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams
    Dan Song, Dongming Wang, Xiaoyu Chen
    Pages 149-165
  12. Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems
    Menghan Wang, Meera Sitharam
    Pages 166-180
  13. Back Matter
    Pages 181-181
    PDF

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

  • DOI https://doi.org/10.1007/978-3-319-21362-0
  • 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
  • Buy this book on publisher's site