Jürgen Richter-Gebert - Böcker

With a standard program committee and a pre-review process, the Third - ternational Workshop on Automated Deduction in Geometry (ADG 2000) held in Zurich, Switzerland, September 25-27, 2000 was made more formal than the previous ADG '96 (Toulouse, September 1996) and ADG '98 (Beijing, August 1998). The workshop program featured two invited talks given by Christoph M. Ho?mann and Jurgen .. Bokowski, one open session talk by Wen-tsun .. Wu, 18 regular presentations, and 7 short communications, together with software demonstrations (see http://calfor.lip6.fr/"wang/ADG2000/). Some of the most recent and signi?cant research developments on geometric deduction were - ported and reviewed, and the workshop was well focused at a high scienti?c level. Fifteen contributions (out of the 18 regular presentations selected by the program committee from 31 submissions) and 2 invited papers were chosen for publication in these proceedings. These papers were all formally refereed and most of them underwent a double review-revision process.We hope that this volume meets the usual standard of international conference proceedings, rep- sentsthecurrentstateoftheartofADG,andwillbecomeavaluablereferencefor researchers, practitioners, software engineers, educators, and students in many ADG-related areas from mathematics to CAGD and geometric modeling. ADG2000washostedbytheDepartmentofComputerScience,ETHZurich.

The book collects results about realization spaces of polytopes. It gives a presentation of the author's "Universality Theorem for 4-polytopes". It is a comprehensive survey of the important results that have been obtained in that direction. The approaches chosen are direct and very geometric in nature. The book is addressed to researchers and to graduate students. The former will find a comprehensive source for the above mentioned results. The latter will find a readable introduction to the field. The reader is assumed to be familiar with basic concepts of linear algebra.

Cinderella is a unique, technically very sophisticated teachware for geometry. It will be used as a tool by students learning Euclidean, projective, spherical and hyperbolic geometry, as well as in geometric research by scientists. Moreover, it can also serve as an authors' tool to design web pages with interactive constructions or even complete geometry exercises.

Cinderella ist eine einzigartige, technisch ausgereifte interaktive Geometrie-Lernsoftware, die sich ausgezeichnet für Studenten zum Erlernen der Euklidischen, projektiven, sphärischen und hyperbolischen Geometrie eignet. Aufgrund seines leistungsfähigen mathematischen Kerns kann Cinderella jedoch ebenfalls als Werkzeug für Wissenschaftler in der Forschung auf dem Gebiet der Geometrie und Komplexitätstheorie Anwendung finden. Die Software enthält einen eingebauten automatischen Beweiser für geometrische Sätze. Durch eine einfache Exportfunktion kann Cinderella als Werkzeug zum Gestalten von WWW-Seiten oder als Hilfe bei der Ausarbeitung interaktiver Geometrie-Bücher genutzt werden.

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