Skip to main content
SpringerLink
Log in
Book cover

Automated Deduction in Geometry

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Francisco Botana

    1. University of Vigo, Pontevedra, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pedro Quaresma

    1. University of Coimbra, Coimbra, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: ADG 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 papers)

  1. Front Matter

    Pages I-IX
    Download chapter 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
    Download chapter PDF
Back to top

Other volumes

  1. Automated Deduction in Geometry

Keywords

About this book

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.

Editors and Affiliations

  • University of Vigo, Pontevedra, Spain

    Francisco Botana

  • University of Coimbra, Coimbra, Portugal

    Pedro Quaresma

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation