Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams
This paper extends our work on automated discovery of geometric theorems from diagrams by taking scanned and photographed images instead of images produced with dynamic geometry software. We first adopt techniques of Hough transform and randomized detection algorithms to detect geometric objects from scanned and photographed images, then use methods of image matching to recognize labels for the detected geometric objects, and finally employ numerical-computation-based methods to mine geometric relations among the objects. Experiments with a preliminary implementation of the techniques and methods demonstrate the effectiveness and efficiency of geometric information retrieval from scanned and photographed images for the purpose of discovering geometric theorems automatically.
KeywordsShape recognition Pattern matching Theorem discovery Geometric knowledge management
The authors wish to thank the referees for their constructive comments which have helped improve the paper significantly. This work has been supported by the project SKLSDE-2015ZX-18.
- 1.Arai, N.H., Matsuzaki, T., Iwane, H., Anai, H.: Mathematics by machine. In: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (Kobe, Japan, July 23–25, 2014), pp. 1–8. ACM Press, New YorkGoogle Scholar
- 5.Chen, X., Song, D., Wang, D.: Automated generation of geometric theorems from images of diagrams. Geometric Reasoning – Special issue of Annals of Mathematics and Artificial Intelligence. Springer (2014). doi: 10.1007/s10472-014-9433-7
- 9.Mori, S., Nishida, H., Yamada, H.: Optical Character Recognition. Wiley, New York (1999)Google Scholar
- 11.Zhang, T.Y., Suen, C.Y.: A fast parallel algorithm for thinning digital patterns. Commun. Assoc. Comput. Mach. 27(3), 236–239 (1984)Google Scholar
- 12.GEOTHER. http://www-polsys.lip6.fr/wang/GEOTHER/. Accessed on 24 April 2015
- 13.OpenCV. http://opencv.org/. Accessed on 24 April 2015
- 14.Tesseract-OCR. http://code.google.com/p/tesseract-ocr/. Accessed on 24 April 2015