Sturm, T., & Zengler, C. (Eds.). (2011). Automated Deduction in Geometry: 7th International Workshop, ADG 2008. Berlin: Springer. doi:10.1007/978-3-642-21046-4.