Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Artificial Intelligence

Automated Deduction in Geometry

8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers

Editors: Schreck, Pascal, Narboux, Julien, Richter-Gebert, Jürgen (Eds.)

Free Preview
  • High quality selected papers
  • Unique visibility
  • State of the art reserach
see more benefits

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-642-25070-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-642-25069-9
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010.
The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. Topics addressed by the papers are incidence geometry using some kind of combinatoric argument; computer algebra; software implementation; as well as logic and proof assistants.

Table of contents (13 chapters)

Table of contents (13 chapters)
  • Cancellation Patterns in Automatic Geometric Theorem Proving

    Pages 1-33

    Apel, Susanne (et al.)

  • Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL

    Pages 34-50

    Fleuriot, Jacques

  • A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry

    Pages 51-67

    Fuchs, Laurent (et al.)

  • Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System

    Pages 68-77

    Gerhäuser, Michael (et al.)

  • Proof Documents for Automated Origami Theorem Proving

    Pages 78-97

    Ghourabi, Fadoua (et al.)

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-642-25070-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-642-25069-9
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • 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
8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
Editors
  • Pascal Schreck
  • Julien Narboux
  • Jürgen Richter-Gebert
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
6877
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-25070-5
DOI
10.1007/978-3-642-25070-5
Softcover ISBN
978-3-642-25069-9
Edition Number
1
Number of Pages
X, 259
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.