Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings