"Automated Deduction in Geometry" ist eine umfassende Sammlung von Forschungsergebnissen, die aus dem 9. Internationalen Workshop zur automatisierten Deduktion in der Geometrie hervorgegangen sind. Dieser Workshop fand im September 2012 in Edinburgh, Grossbritannien, statt und bietet einen wertvollen Einblick in die neuesten Entwicklungen und Fortschritte in diesem spezialisierten Bereich. Die vorliegende Publikation umfasst zehn überarbeitete Volltexte sowie zwei eingeladene Beiträge, die aus einer Vielzahl von Vorträgen ausgewählt wurden. Die sorgfältige Auswahl und Überarbeitung der Beiträge erfolgte in zwei Runden, um die Qualität und Relevanz der Inhalte sicherzustellen. Die Konferenz diente als Plattform für den Austausch von Ideen und Meinungen, die Präsentation von Forschungsergebnissen und die Demonstration von Software-Tools, die an der Schnittstelle zwischen Geometrie und automatisierter Deduktion arbeiten. Darüber hinaus wurde der Themenbereich des Workshops erweitert, um auch dynamische Geometrie zu berücksichtigen.