Wenya An, Xiaoyu Chen, Dongming Wang. Searching for Geometric Theorems Using Features Retrieved from Diagrams. In Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap, editors, Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers. Volume 9582 of Lecture Notes in Computer Science, pages 383-397, Springer, 2015. [doi]
Abstract is missing.