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
  • 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

    Apel, Susanne (et al.)

    Pages 1-33

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

    Fleuriot, Jacques

    Pages 34-50

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

    Fuchs, Laurent (et al.)

    Pages 51-67

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

    Gerhäuser, Michael (et al.)

    Pages 68-77

  • Proof Documents for Automated Origami Theorem Proving

    Ghourabi, Fadoua (et al.)

    Pages 78-97

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
  • 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