"Automated Deduction in Geometry" is a comprehensive collection of research findings that emerged from the 9th International Workshop on Automated Deduction in Geometry. This workshop took place in September 2012 in Edinburgh, United Kingdom, and provides valuable insights into the latest developments and advancements in this specialized field. The publication includes ten revised full texts as well as two invited contributions, selected from a variety of presentations. The careful selection and revision of the contributions were conducted in two rounds to ensure the quality and relevance of the content. The conference served as a platform for the exchange of ideas and opinions, the presentation of research results, and the demonstration of software tools that operate at the intersection of geometry and automated deduction. Additionally, the workshop's scope was expanded to also consider dynamic geometry.