Springer celebrates 175 years of publishing excellence! Join us >>

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 $54.99
price for USA (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 $72.00
price for USA
  • ISBN 978-3-642-40671-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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

  • Automation of Geometry – Theorem Proving, Diagram Generation, and Knowledge Management

    Wang, Dongming

    Pages 31-32

  • Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization

    Yang, Jing (et al.)

    Pages 33-47

  • Extending the Descartes Circle Theorem for Steiner n-Cycles

    Moritsugu, Shuichi

    Pages 48-58

  • Equation Systems with Free-Coordinates Determinants

    Mathis, Pascal (et al.)

    Pages 59-70

Buy this book

eBook $54.99
price for USA (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 $72.00
price for USA
  • ISBN 978-3-642-40671-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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