Zoltán Kovács. Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools. In Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef, editors, Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings. Volume 11006 of Lecture Notes in Computer Science, pages 164-177, Springer, 2018. [doi]
Abstract is missing.