{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T14:39:00Z","timestamp":1753886340344,"version":"3.37.3"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2023,11,20]],"date-time":"2023-11-20T00:00:00Z","timestamp":1700438400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,11,20]],"date-time":"2023-11-20T00:00:00Z","timestamp":1700438400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62077019"],"award-info":[{"award-number":["62077019"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2023,12]]},"DOI":"10.1007\/s10817-023-09688-w","type":"journal-article","created":{"date-parts":[[2023,11,20]],"date-time":"2023-11-20T10:05:02Z","timestamp":1700474702000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity"],"prefix":"10.1007","volume":"67","author":[{"given":"Xicheng","family":"Peng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jingzhong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2853-2423","authenticated-orcid":false,"given":"Mao","family":"Chen","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":[[2023,11,20]]},"reference":[{"key":"9688_CR1","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: Gr\u00f6ebner bases: an algorithmic method in polynomial ideal theory. In: Multidimensional Systems Theory-Progress, Directions and Open Problems in Multidimensional Systems. Reidel Publishing Company, pp. 184\u2013232 (1985)","DOI":"10.1007\/978-94-009-5225-6_6"},{"issue":"5","key":"9688_CR2","first-page":"891","volume":"30","author":"NB Cao","year":"2007","unstructured":"Cao, N.B., Li, H.B., Zhang, S.P.: Geometric decomposition and its program implementation based on conformal geometric algebra. Acta Mathematicae Applicatae Sinica 30(5), 891\u2013902 (2007). (in Chinese)","journal-title":"Acta Mathematicae Applicatae Sinica"},{"key":"9688_CR3","volume-title":"Complex Number Calculation and Geometry Proof","author":"GZ Chang","year":"1980","unstructured":"Chang, G.Z.: Complex Number Calculation and Geometry Proof. Shanghai Education Press, Shanghai (1980). (in Chinese)"},{"key":"9688_CR4","volume-title":"Mechanical Geometry Theorem Proving","author":"SC Chou","year":"1988","unstructured":"Chou, S.C.: Mechanical Geometry Theorem Proving. D. Reidel, Boston (1988)"},{"key":"9688_CR5","doi-asserted-by":"crossref","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Mechanical geometry theorem proving by vector calculation. In: Proceedings of the 1993 International Symposium on Symbolic and Algebraic Manipulation, Kiev, ACM Press (1993)","DOI":"10.1145\/164081.164142"},{"key":"9688_CR6","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: A collection of 110 geometry theorems and their machine proofs based on full-angles. TR-94\u20134, Department of Computer Science, WSU (1994)"},{"key":"9688_CR7","doi-asserted-by":"publisher","DOI":"10.1142\/2196","volume-title":"Machine Proofs in Geometry","author":"SC Chou","year":"1994","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Machine Proofs in Geometry. World Scientific, Singapore (1994)"},{"issue":"3","key":"9688_CR8","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF00283133","volume":"17","author":"SC Chou","year":"1996","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Automated generation of readable proofs with geometric invariants I. Multiple and shortest proof generation. J. Autom. Reason. 17(3), 325\u2013347 (1996)","journal-title":"J. Autom. Reason."},{"issue":"3","key":"9688_CR9","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/BF00283134","volume":"17","author":"SC Chou","year":"1996","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Automated generation of readable proofs with geometric invariants II. Theorem proving with full-angles. J. Autom. Reason. 17(3), 349\u2013370 (1996)","journal-title":"J. Autom. Reason."},{"issue":"3","key":"9688_CR10","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":"9688_CR11","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/BF02328448","volume":"2","author":"S Chou","year":"1986","unstructured":"Chou, S., Schelter, W.: Proving geometry theorems with rewrite rules. J. Autom. Reason. 2, 253\u2013273 (1986)","journal-title":"J. Autom. Reason."},{"issue":"8","key":"9688_CR12","first-page":"1809","volume":"37","author":"Q Ge","year":"2014","unstructured":"Ge, Q., Zhang, J.Z., Chen, M., Peng, X.C.: Automated geometry readable proving based on vector. Chin. J. Comput. 37(8), 1809\u20131819 (2014)","journal-title":"Chin. J. Comput."},{"key":"9688_CR13","volume-title":"Advanced Euclidean geometry","author":"RA Johnson","year":"1929","unstructured":"Johnson, R.A.: Advanced Euclidean geometry. Houghton Mifflin Company, Boston (1929)"},{"key":"9688_CR14","doi-asserted-by":"crossref","unstructured":"Kapur, D.: Geometry theorem proving using Hilbert\u2019s Nullstellensatz. In: Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation, Waterloo, pp. 202\u2013208 (1986)","DOI":"10.1145\/32439.32479"},{"key":"9688_CR15","doi-asserted-by":"crossref","unstructured":"Li, H., Xu, R., Zhang, N.: On Miquel\u2019s Five-Circle Theorem. In: Li, H., Olver, P.J., Sommer, G. (eds.) Computer Algebra and Geometric Algebra with Applications. IWMM GIAE 2004 2004. Lecture Notes in Computer Science, vol. 3519. Springer, Berlin (2005)","DOI":"10.1007\/11499251_18"},{"issue":"9","key":"9688_CR16","first-page":"1963","volume":"50","author":"T Li","year":"2013","unstructured":"Li, T., Zhang, J.: Machine proofs in geometry based on complex number method. J. Comput. Res. Dev. 50(9), 1963\u20131969 (2013)","journal-title":"J. Comput. Res. Dev."},{"key":"9688_CR17","volume-title":"Vector, Complex Number and Particle","author":"XC Peng","year":"2014","unstructured":"Peng, X.C.: Vector, Complex Number and Particle. China University of Science and Technology Press, Hefei (2014). (in Chinese)"},{"key":"9688_CR18","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., Chen, M.: Automated discovery of geometric theorems based on vector equations. J. Autom. Reason. 65, 711\u2013726 (2021)","journal-title":"J. Autom. Reason."},{"issue":"08","key":"9688_CR19","first-page":"1640","volume":"38","author":"LI Tao","year":"2015","unstructured":"Tao, L.I., Zou, Y., Zhang, J.Z., et al.: Improvement of the complex mass point method and its application in automated geometry theorem proving. Chin. J. Comput. 38(08), 1640\u20131647 (2015)","journal-title":"Chin. J. Comput."},{"key":"9688_CR20","volume-title":"Complex Numbers from A to Z","author":"A Titu","year":"2005","unstructured":"Titu, A., Dorin, A.: Complex Numbers from A to Z. Birkh\u00e4user, Boston (2005)"},{"key":"9688_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6202-6","volume-title":"Elimination Methods","author":"DM Wang","year":"2001","unstructured":"Wang, D.M.: Elimination Methods. Springer, Wien New York (2001)"},{"key":"9688_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6639-0","volume-title":"Mechanical Theorem Proving in Geometries: Basic Principles","author":"WT Wu","year":"1994","unstructured":"Wu, W.T.: Mechanical Theorem Proving in Geometries: Basic Principles. Springer, New York (1994)"},{"key":"9688_CR23","volume-title":"Mathematics Mechanization","author":"WT Wu","year":"2000","unstructured":"Wu, W.T.: Mathematics Mechanization. Science Press, Kluwer (2000)"},{"key":"9688_CR24","volume-title":"Automated Proving and Discovering on Inequalities","author":"L Yang","year":"2008","unstructured":"Yang, L., Xia, B.C.: Automated Proving and Discovering on Inequalities. Science Press, Beijing (2008)"},{"issue":"3","key":"9688_CR25","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10817-009-9162-5","volume":"45","author":"Z Ye","year":"2010","unstructured":"Ye, Z., Chou, S.C., Gao, X.S.: Visually dynamic presentation of proofs in plane geometry. J. Autom. Reason. 45(3), 213\u2013241 (2010)","journal-title":"J. Autom. Reason."},{"key":"9688_CR26","volume-title":"Solving Geometry Problems with Vector Method","author":"JZ Zhang","year":"2010","unstructured":"Zhang, J.Z., Peng, X.C.: Solving Geometry Problems with Vector Method. Science Press, Beijing (2010). (in Chinese)"},{"key":"9688_CR27","volume-title":"Point Geometry Problem Solving","author":"JZ Zhang","year":"2020","unstructured":"Zhang, J.Z., Peng, X.C.: Point Geometry Problem Solving. East China Normal University Press, Shanghai (2020). (in Chinese)"},{"issue":"1","key":"9688_CR28","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/s11424-019-8350-6","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. Complexity 32(1), 78\u201394 (2019)","journal-title":"J. Syst. Sci. Complexity"},{"key":"9688_CR29","first-page":"289","volume":"51","author":"Y Zou","year":"2021","unstructured":"Zou, Y., Peng, X.C., Rao, Y.S.: Identity method of geometric theorem proving based on Wu\u2019s method. Science China Math. 51, 289\u2013300 (2021). (in Chinese)","journal-title":"Science China Math."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-023-09688-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10817-023-09688-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-023-09688-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,9]],"date-time":"2023-12-09T09:06:35Z","timestamp":1702112795000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10817-023-09688-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,20]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["9688"],"URL":"https:\/\/doi.org\/10.1007\/s10817-023-09688-w","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[2023,11,20]]},"assertion":[{"value":"28 December 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 October 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 November 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"38"}}