Cinderella.2, the new version of the well-known interactive geometry software, has become an even more versatile tool than its predecessor. It now consists of three connected parts: An enhanced geometry component with new features like transformations and dynamic fractals, a simulation laboratory to explore basic laws of Newton mechanics, and an easy to use scripting language that enables any user to quickly extend the software even further.

The Cinderella.2 Manual is the first book to offer complete instruction and techniques for using Cinderella.2. It contains a wealth of examples, in particular for the CindyScript language which interacts smoothly with the geometry and simulation components, and a complete reference. Cinderella.2 is Math in Motion all the way, and this book provides comprehensive documentation from start to finish.

Wie kann man geometrische Objekte und Operationen so darstellen, dass sie durch möglichst einfache algebraische Manipulationen verarbeitet werden können? Dies ist die Leitfrage dieses Buches, welche im Verlauf von insgesamt 12 Kapiteln von verschiedenen Seiten beleuchtet wird. Unter diesem Blickwinkel werden Einführungen in projektive Geometrie, geometrische Invariantentheorie, Euklidische Geometrie (unter besonderer Berücksichtigung komplexer Zahlen) Möbiusgeometrie, und Lie‘sche Kreisgeometrie gegeben. Hierbei liegt der Schwerpunkt auf Eleganz der Methoden, welche nicht selten automatisch zu eleganten algorithmischen Ansätzen führen. Für den Leser stellt das Buch eine Brücke vom Grundwissen in der Linearen Algebra zu modernen (und klassischen) Ansätzen der Geometrie dar. Neben zahlreichen Übungsaufgaben, Abbildungen und im Internet verfügbaren interaktiven Visualisierungen wird jedes Kapitel durch einen „Exkurs" ergänzt, der Einblicke in Anwendungen oder weiterführende Themen gibt. Das Buch richtet sich an Studierende und Dozenten der Mathematik, Informatik und Physik ab dem dritten Semester.

Projective geometry is one of the most fundamental and at the same time most beautiful branches of geometry. It can be considered the common foundation of many other geometric disciplines like Euclidean geometry, hyperbolic and elliptic geometry or even relativistic space-time geometry. This book offers a comprehensive introduction to this fascinating field and its applications. In particular, it explains how metric concepts may be best understood in projective terms. One of the major themes that appears throughout this book is the beauty of the interplay between geometry, algebra and combinatorics. This book can especially be used as a guide that explains how geometric objects and operations may be most elegantly expressed in algebraic terms, making it a valuable resource for mathematicians, as well as for computer scientists and physicists. The book is based on the author’s experience in implementing geometric software and includes hundreds of high-quality illustrations.

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.

Cinderella.2, the new version of the well-known interactive geometry software, has become an even more versatile tool than its predecessor. It now consists of three connected parts: An enhanced geometry component with new features like transformations and dynamic fractals, a simulation laboratory to explore basic laws of Newton mechanics, and an easy to use scripting language that enables any user to quickly extend the software even further.

The Cinderella.2 Manual is the first book to offer complete instruction and techniques for using Cinderella.2. It contains a wealth of examples, in particular for the CindyScript language which interacts smoothly with the geometry and simulation components, and a complete reference. Cinderella.2 is Math in Motion all the way, and this book provides comprehensive documentation from start to finish.

Wie kann man geometrische Objekte und Operationen so darstellen, dass sie durch möglichst einfache algebraische Manipulationen verarbeitet werden können? Dies ist die Leitfrage dieses Buches, welche im Verlauf von insgesamt 12 Kapiteln von verschiedenen Seiten beleuchtet wird. Unter diesem Blickwinkel werden Einführungen in projektive Geometrie, geometrische Invariantentheorie, Euklidische Geometrie (unter besonderer Berücksichtigung komplexer Zahlen) Möbiusgeometrie, und Lie‘sche Kreisgeometrie gegeben. Hierbei liegt der Schwerpunkt auf Eleganz der Methoden, welche nicht selten automatisch zu eleganten algorithmischen Ansätzen führen. Für den Leser stellt das Buch eine Brücke vom Grundwissen in der Linearen Algebra zu modernen (und klassischen) Ansätzen der Geometrie dar. Neben zahlreichen Übungsaufgaben, Abbildungen und im Internet verfügbaren interaktiven Visualisierungen wird jedes Kapitel durch einen „Exkurs" ergänzt, der Einblicke in Anwendungen oder weiterführende Themen gibt. Das Buch richtet sich an Studierende und Dozenten der Mathematik, Informatik und Physik ab dem dritten Semester.

Projective geometry is one of the most fundamental and at the same time most beautiful branches of geometry. It can be considered the common foundation of many other geometric disciplines like Euclidean geometry, hyperbolic and elliptic geometry or even relativistic space-time geometry. This book offers a comprehensive introduction to this fascinating field and its applications. In particular, it explains how metric concepts may be best understood in projective terms. One of the major themes that appears throughout this book is the beauty of the interplay between geometry, algebra and combinatorics. This book can especially be used as a guide that explains how geometric objects and operations may be most elegantly expressed in algebraic terms, making it a valuable resource for mathematicians, as well as for computer scientists and physicists. The book is based on the author’s experience in implementing geometric software and includes hundreds of high-quality illustrations.

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.