Automatically Proving Plane Geometry Theorems Stated by Text and Diagram

This paper presents an algorithm for proving plane geometry theorems stated by text and diagram in a complementary way. The problem of proving plane geometry theorems involves two challenging subta...

[1]  Xiao-Shan Gao,et al.  A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering , 2000, Journal of Automated Reasoning.

[2]  Oren Etzioni,et al.  Solving Geometry Problems: Combining Text and Diagram Interpretation , 2015, EMNLP.

[3]  Changsheng Xu,et al.  Inductive hierarchical nonnegative graph embedding for “verb–object” image classification , 2013, Machine Vision and Applications.

[4]  Yong-Huai Huang,et al.  Speed up the computation of randomized algorithms for detecting lines, circles, and ellipses using novel tuning- and LUT-based voting platform , 2007, Appl. Math. Comput..

[5]  Xinguo Yu,et al.  Understanding explicit arithmetic word problems and explicit plane geometry problems using syntax-semantics models , 2017, 2017 International Conference on Asian Language Processing (IALP).

[6]  Julien Narboux,et al.  Formalization of the arithmetization of Euclidean plane geometry and applications , 2019, J. Symb. Comput..

[7]  Neil Immerman,et al.  Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning , 2013, LPAR.

[8]  Jianguo Jiang,et al.  A review and prospect of readable machine proofs for geometry theorems , 2012, J. Syst. Sci. Complex..

[9]  Changsheng Xu,et al.  Knowing Verb From Object: Retagging With Transfer Learning on Verb-Object Concept Images , 2015, IEEE Transactions on Multimedia.

[10]  Shuming Shi,et al.  Automatically Solving Number Word Problems by Semantic Parsing and Reasoning , 2015, EMNLP.

[11]  Xiaoyu Chen,et al.  Representation and automated transformation of geometric statements , 2014, J. Syst. Sci. Complex..

[12]  Bidyut Baran Chaudhuri,et al.  A survey of Hough Transform , 2015, Pattern Recognit..

[13]  Dan Song,et al.  Retrieving geometric information from images: the case of hand-drawn diagrams , 2017, Data Mining and Knowledge Discovery.

[14]  Ali Farhadi,et al.  A Diagram is Worth a Dozen Images , 2016, ECCV.

[15]  Anirban Mukherjee,et al.  A review of methods for automatic understanding of natural language mathematical problems , 2008, Artificial Intelligence Review.

[16]  Qun Liu,et al.  HHMM-based Chinese Lexical Analyzer ICTCLAS , 2003, SIGHAN.

[17]  Shuming Shi,et al.  Deep Neural Solver for Math Word Problems , 2017, EMNLP.