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
  2. Md. Ashraful Alam, Ileana Streinu
    Pages 1-20
  3. Ciprian S. Borcea, Ileana Streinu
    Pages 21-36
  4. James H. Davenport, Matthew England
    Pages 37-52
  5. Zoltán Kovács
    Pages 53-71
  6. Vesna Marinković, Predrag Janičić, Pascal Schreck
    Pages 72-93
  7. Pedro Quaresma, Nuno Baeta
    Pages 119-128
  8. Meera Sitharam, Joel Willoughby
    Pages 129-148
  9. 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

  • 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
  • About this book