Lecture Notes in Artificial Intelligence

Automated Deduction in Geometry

9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Editors: Ida, Tetsuo, Fleuriot, Jacques (Eds.)

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research
see more benefits

Buy this book

eBook 39,26 €
price for Spain (gross)
  • ISBN 978-3-642-40672-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 47,84 €
price for Spain (gross)
  • ISBN 978-3-642-40671-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

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.

Table of contents (12 chapters)

  • Proof and Computation in Geometry

    Beeson, Michael

    Pages 1-30

    Preview Buy Chapter 30,19 €
  • Automation of Geometry – Theorem Proving, Diagram Generation, and Knowledge Management

    Wang, Dongming

    Pages 31-32

    Preview Buy Chapter 30,19 €
  • Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization

    Yang, Jing (et al.)

    Pages 33-47

    Preview Buy Chapter 30,19 €
  • Extending the Descartes Circle Theorem for Steiner n-Cycles

    Moritsugu, Shuichi

    Pages 48-58

    Preview Buy Chapter 30,19 €
  • Equation Systems with Free-Coordinates Determinants

    Mathis, Pascal (et al.)

    Pages 59-70

    Preview Buy Chapter 30,19 €

Buy this book

eBook 39,26 €
price for Spain (gross)
  • ISBN 978-3-642-40672-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 47,84 €
price for Spain (gross)
  • ISBN 978-3-642-40671-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Deduction in Geometry
Book Subtitle
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Editors
  • Tetsuo Ida
  • Jacques Fleuriot
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
7993
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-40672-0
DOI
10.1007/978-3-642-40672-0
Softcover ISBN
978-3-642-40671-3
Edition Number
1
Number of Pages
X, 193
Number of Illustrations and Tables
55 b/w illustrations
Topics