{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,23]],"date-time":"2024-06-23T00:13:55Z","timestamp":1719101635277},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2024,6]]},"DOI":"10.1007\/s10817-024-09699-1","type":"journal-article","created":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T18:04:33Z","timestamp":1717610673000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automated Generation of Geometry Proof Problems Based on Point Geometry Identity"],"prefix":"10.1007","volume":"68","author":[{"given":"Lei","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zongkai","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mao","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xicheng","family":"Peng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianwen","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhonghua","family":"Yan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sannyuya","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,6,5]]},"reference":[{"issue":"3","key":"9699_CR1","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s10817-009-9163-4","volume":"45","author":"Z Ye","year":"2010","unstructured":"Ye, Z., Chou, S.C., Gao, X.S.: Visually dynamic presentation of proofs in plane geometry: Part 2. Automated generation of visually dynamic presentations with the full-angle method and the deductive database method. J. Autom. Reason. 45(3), 243\u2013266 (2010)","journal-title":"J. Autom. Reason."},{"key":"9699_CR2","volume-title":"Mechanical theorem proving in geometries: basic principles","author":"WT Wu","year":"2012","unstructured":"Wu, W.T.: Mechanical theorem proving in geometries: basic principles. Springer, Berlin (2012)"},{"issue":"4","key":"9699_CR3","first-page":"802","volume":"25","author":"JG Jiang","year":"2012","unstructured":"Jiang, J.G., Zhang, J.Z.: A review and prospect of readable machine proofs for geometry theorems. J. Syst. Sci. 25(4), 802\u2013820 (2012)","journal-title":"J. Syst. Sci."},{"issue":"1","key":"9699_CR4","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10817-015-9326-4","volume":"55","author":"F Botana","year":"2015","unstructured":"Botana, F., Hohenwarter, M., Jani\u010di\u0107, P.: Automated theorem proving in geogebra: current achievements. J. Autom. Reason. 55(1), 39\u201359 (2015)","journal-title":"J. Autom. Reason."},{"key":"9699_CR5","doi-asserted-by":"crossref","unstructured":"Chen, J., Tang, J., Qin, J., et al.: GeoQA: A geometric question answering benchmark towards multimodal numerical reasoning. Preprint at https:\/\/arxiv.org\/pdf\/2105.14517.pdf (2021)","DOI":"10.18653\/v1\/2021.findings-acl.46"},{"key":"9699_CR6","doi-asserted-by":"crossref","unstructured":"Lu, P., Gong, R., Jiang, S., et al.: Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning. Preprint at https:\/\/arxiv.org\/pdf\/2105.04165.pdf (2021)","DOI":"10.18653\/v1\/2021.acl-long.528"},{"issue":"1","key":"9699_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(75)90013-2","volume":"6","author":"AJ Nevins","year":"1975","unstructured":"Nevins, A.J.: Plane geometry theorem proving using forward chaining. Artif. Intell. 6(1), 1\u201323 (1975)","journal-title":"Artif. Intell."},{"issue":"3","key":"9699_CR8","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1023\/A:1006171315513","volume":"25","author":"SC Chou","year":"2000","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: A deductive database approach to automated geometry theorem proving and discovering. J. Autom. Reason. 25(3), 219\u2013246 (2000)","journal-title":"J. Autom. Reason."},{"key":"9699_CR9","doi-asserted-by":"crossref","unstructured":"Alvin, C., Gulwani, S., Majumdar, R., et al.: Synthesis of geometry proof problems. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 28, No.1) (2014)","DOI":"10.1609\/aaai.v28i1.8745"},{"key":"9699_CR10","unstructured":"Alvin, C., Gulwani, S., Majumdar, R., Mukhopadhyay, S.: Automatic synthesis of geometry problems for an intelligent tutoring system. Preprint at https:\/\/arxiv.org\/pdf\/2105.04165.pdf (2015)"},{"issue":"1","key":"9699_CR11","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1006135322108","volume":"23","author":"T Recio","year":"1999","unstructured":"Recio, T., V\u00e9lez, M.P.: Automatic discovery of theorems in elementary geometry. J. Autom. Reason. 23(1), 63\u201382 (1999)","journal-title":"J. Autom. Reason."},{"key":"9699_CR12","doi-asserted-by":"publisher","DOI":"10.1142\/p318","volume-title":"Elimination practice: software tools and applications (With Cd-rom)","author":"DM Wang","year":"2004","unstructured":"Wang, D.M.: Elimination practice: software tools and applications (With Cd-rom). World Scientific, London (2004)"},{"key":"9699_CR13","doi-asserted-by":"crossref","unstructured":"Montes, A., Recio, T.: Automatic discovery of geometry theorems using minimal canonical comprehensive Gr\u00f6bner systems. In: In Automated Deduction in Geometry: 6th International Workshop, pp. 113\u2013138 (2006). Springer","DOI":"10.1007\/978-3-540-77356-6_8"},{"issue":"2","key":"9699_CR14","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s10817-009-9133-x","volume":"43","author":"G Dalzotto","year":"2009","unstructured":"Dalzotto, G., Recio, T.: On protocols for the automated discovery of theorems in elementary geometry. J. Autom. Reason. 43(2), 203\u2013236 (2009)","journal-title":"J. Autom. Reason."},{"issue":"3","key":"9699_CR15","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s10817-016-9395-z","volume":"59","author":"J Zhou","year":"2017","unstructured":"Zhou, J., Wang, D.K., Sun, Y.: Automated reducible geometric theorem proving and discovery by gr\u00f6bner basis method. J. Autom. Reason. 59(3), 331\u2013344 (2017)","journal-title":"J. Autom. Reason."},{"issue":"6","key":"9699_CR16","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1007\/s10817-021-09591-2","volume":"65","author":"XC Peng","year":"2021","unstructured":"Peng, X.C., Chen, Q.H., Zhang, J.Z.: Automated discovery of geometric theorems based on vector equations. J. Autom. Reason. 65(6), 711\u2013726 (2021)","journal-title":"J. Autom. Reason."},{"issue":"1","key":"9699_CR17","first-page":"1","volume":"21","author":"JZ Zhang","year":"2018","unstructured":"Zhang, J.Z.: Outlines for point-geometry. Stud. College Math. 21(1), 1\u20138 (2018)","journal-title":"Stud. College Math."},{"issue":"1","key":"9699_CR18","first-page":"78","volume":"32","author":"JZ Zhang","year":"2019","unstructured":"Zhang, J.Z., Peng, X.C., Chen, M.: Self-evident automated proving based on point geometry from the perspective of Wu\u2019s method identity. J. Syst. Sci. 32(1), 78\u201394 (2019)","journal-title":"J. Syst. Sci."},{"key":"9699_CR19","doi-asserted-by":"crossref","unstructured":"Kapur, D.: Geometry theorem proving using hilbert\u2019s nullstellensatz. In: Proceedings of the Fifth ACM Symposium on Symbolic and Algebraic Computation, pp. 202\u2013208 (1986)","DOI":"10.1145\/32439.32479"},{"key":"9699_CR20","doi-asserted-by":"crossref","unstructured":"Wu, W.T.: On the decision problem and the mechanization of theorem-proving in elementary geometry. In: Selected Works Of Wen-Tsun Wu, pp. 117\u2013138. World Scientific, London (2008)","DOI":"10.1142\/9789812791085_0008"},{"issue":"1","key":"9699_CR21","first-page":"289","volume":"51","author":"Z Yu","year":"2020","unstructured":"Yu, Z., Peng, X.C., Rao, Y.S.: An identity method for proving geometry theorems based on Wu. Scientia Sinica Mathematica 51(1), 289 (2020)","journal-title":"Scientia Sinica Mathematica"},{"key":"9699_CR22","doi-asserted-by":"crossref","unstructured":"Seo, M.J., Hajishirzi, H., Farhadi, A.: Diagram understanding in geometry questions. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 28 (2014)","DOI":"10.1609\/aaai.v28i1.9146"},{"key":"9699_CR23","doi-asserted-by":"crossref","unstructured":"Seo, M., Hajishirzi, H., Farhadi, A.: Solving geometry problems: Combining text and diagram interpretation. In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, pp. 1466\u20131476 (2015)","DOI":"10.18653\/v1\/D15-1171"},{"issue":"9","key":"9699_CR24","doi-asserted-by":"publisher","first-page":"2287","DOI":"10.1109\/TPAMI.2019.2914054","volume":"42","author":"DX Zhang","year":"2019","unstructured":"Zhang, D.X., Wang, L., Zhang, L.M.: The gap of semantic parsing: a survey on automatic math word problem solvers. IEEE Trans. Pattern Anal. Mach. Intell. 42(9), 2287\u20132305 (2019)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"issue":"4","key":"9699_CR25","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1162\/coli_a_00360","volume":"45","author":"M Sachan","year":"2020","unstructured":"Sachan, M., Dubey, A., Hovy, E.H.: Discourse in multimedia: a case study in extracting geometry knowledge from textbooks. Comput. Linguist. 45(4), 627\u2013665 (2020)","journal-title":"Comput. Linguist."},{"key":"9699_CR26","doi-asserted-by":"crossref","unstructured":"Todd, P.: Geometry expressions: A constraint based interactive symbolic geometry system. In: International Workshop on Automated Deduction in Geometry, pp. 189\u2013202 (2006). Springer","DOI":"10.1007\/978-3-540-77356-6_12"},{"key":"9699_CR27","volume-title":"Solving problems based on point geometry","author":"JZ Zhang","year":"2020","unstructured":"Zhang, J.Z., Peng, X.C.: Solving problems based on point geometry. East China Normal University Press, Shang Hai (2020)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-024-09699-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10817-024-09699-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-024-09699-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,22]],"date-time":"2024-06-22T07:08:19Z","timestamp":1719040099000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10817-024-09699-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["9699"],"URL":"https:\/\/doi.org\/10.1007\/s10817-024-09699-1","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,6]]},"assertion":[{"value":"4 November 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 April 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 June 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"11"}}