Bøger af Jurgen Richter-Gebert

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.

This book provides a comprehensive introduction into the classical topic of projective geometry. It explains how metric concepts may be best understood in projective terms and explores the beauty of the interplay of geometry, algebra and combinatorics.

This book offers complete documentation for Cinderella.2. New components feature algorithms via a specially developed scripting language, which interacts smoothly with the geometry and physics components. Cinderella.2 is Math in Motion all the way, and this book is an indispensable companion.

Cinderella is a unique, technically very sophisticated teachware for geometry that will be used as a tool by students learning Euclidean, projective, spherical and hyperbolic geometry, as well as in geometric research.