{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T14:44:23Z","timestamp":1753886663166},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s11424-019-8350-6","type":"journal-article","created":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T05:53:25Z","timestamp":1550123605000},"page":"78-94","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu\u2019s Method Identity"],"prefix":"10.1007","volume":"32","author":[{"given":"Jingzhong","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Xicheng","family":"Peng","sequence":"additional","affiliation":[]},{"given":"Mao","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,14]]},"reference":[{"key":"8350_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6639-0","volume-title":"Mechanical Theorem Proving in Geometries: Basic Principles","author":"W T Wu","year":"1994","unstructured":"Wu W T, Mechanical Theorem Proving in Geometries: Basic Principles, Springer, New York, 1994."},{"key":"8350_CR2","volume-title":"Mathematics Mechanization","author":"W T Wu","year":"2000","unstructured":"Wu W T, Mathematics Mechanization, Science Press, Kluwer, 2000."},{"key":"8350_CR3","doi-asserted-by":"publisher","DOI":"10.1142\/2196","volume-title":"Machine Proofs in Geometry","author":"S C Chou","year":"1994","unstructured":"Chou S C, Gao X S, and Zhang J Z, Machine Proofs in Geometry, World Scientific, Singapore, 1994."},{"issue":"4","key":"8350_CR4","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1007\/s11424-012-2048-3","volume":"25","author":"J G Jiang","year":"2012","unstructured":"Jiang J G and Zhang J Z, A review and prospect of readable machine proofs for geometry theorems, Journal of Systems Science & Complexity, 2012, 25(4): 802\u2013820.","journal-title":"Journal of Systems Science & Complexity"},{"key":"8350_CR5","unstructured":"Leibniz, Math. Schriften, Berlin 1819, Vol. II: 17 & Vol. V: 133."},{"key":"8350_CR6","unstructured":"Grassmann, Geometrische Analyse, Nabu Press, Leipzig, 1847."},{"key":"8350_CR7","doi-asserted-by":"crossref","unstructured":"Li H B, Hestenes D, and Rockwood A, Generalized Homogeneous Coordinates for Computational Geometry, Ed. by Summer G, Geometric Computing with Clifford Algebras, Springer, Heidelberg, 2001.","DOI":"10.1007\/978-3-662-04621-0_2"},{"key":"8350_CR8","doi-asserted-by":"publisher","DOI":"10.1142\/6514","volume-title":"Invariant Algebras and Geometric Reasoning","author":"H B Li","year":"2008","unstructured":"Li H B, Invariant Algebras and Geometric Reasoning, World Scientific, Singapore, 2008."},{"issue":"7","key":"8350_CR9","doi-asserted-by":"publisher","first-page":"941","DOI":"10.1007\/s11425-007-0076-6","volume":"50","author":"N Zhang","year":"2007","unstructured":"Zhang N and Li H B, Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving, Science in China (Series A: Mathematics), 2007, 50(7): 941\u2013950.","journal-title":"Science in China (Series A: Mathematics)"},{"key":"8350_CR10","volume-title":"Particle Geometry","author":"S K Mo","year":"1992","unstructured":"Mo S K, Particle Geometry, Chongqing Press, Chongqing, 1992."},{"key":"8350_CR11","first-page":"1193","volume-title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","author":"K Wang","year":"2015","unstructured":"Wang K and Su Z, Automated geometry theorem proving for human-readable proofs, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), International Conference on Artificial Intelligence AAAI Press, 2015, 1193\u20131199."},{"issue":"3\u20134","key":"8350_CR12","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s10472-014-9433-7","volume":"74","author":"X Y Chen","year":"2015","unstructured":"Chen X Y, Song D, and Wang D M, Automated generation of geometric theorems from images of diagrams, Annals of Mathematics & Artificial Intelligence, 2015, 74(3\u20134): 333\u2013358.","journal-title":"Annals of Mathematics & Artificial Intelligence"},{"issue":"3","key":"8350_CR13","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, and Gao X S, Visually dynamic presentation of proofs in plane geometry, Journal of Automated Reasoning, 2010, 45(3): 213\u2013241.","journal-title":"Journal of Automated Reasoning"},{"key":"8350_CR14","volume-title":"Automated Proving and Discovering on Inequalities","author":"L Yang","year":"2008","unstructured":"Yang L and Xia B C, Automated Proving and Discovering on Inequalities, Science Press, Beijing, 2008."},{"key":"8350_CR15","first-page":"284","volume-title":"Proc. of International Symposium on Symbolic and Algebraic Computing","author":"S C Chou","year":"1993","unstructured":"Chou S C, Gao X S, and Zhang J Z, Mechanical theorem proving by vector calculation, Proc. of International Symposium on Symbolic and Algebraic Computing, Kelantan, 1993, 284\u2013291."},{"key":"8350_CR16","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-25070-5_13","volume-title":"Proc. of the 8th International Workshop on Automated Deduction in Geometry","author":"Y Zou","year":"2011","unstructured":"Zou Y and Zhang J Z, Automated generation of readable proofs for constructive geometry statements with the mass point method, Proc. of the 8th International Workshop on Automated Deduction in Geometry (ADG 2010), LNAI 6877, Springer-Verlag, Berlin Heidelberg, Germany, 2011, 221\u2013258."},{"issue":"8","key":"8350_CR17","first-page":"1640","volume":"38","author":"T Li","year":"2015","unstructured":"Li T, Zou Y, and Zhang J Z, Improvement of the complex mass point method and its application in automated geometry theorem proving, Chinese Journal of Computers, 2015, 38(8): 1640\u20131647.","journal-title":"Chinese Journal of Computers"},{"issue":"8","key":"8350_CR18","first-page":"1809","volume":"37","author":"Q Ge","year":"2014","unstructured":"Ge Q, Zhang J Z, Chen M, et al., Automated geometry readable proving based on vector, Chinese Journal of Computers, 2014, 37(8): 1809\u20131819.","journal-title":"Chinese Journal of Computers"},{"issue":"1","key":"8350_CR19","first-page":"1","volume":"30","author":"Y Zou","year":"2010","unstructured":"Zou Y, Fu Y H, and Zhang J Z, Preliminary study on the basis of geometric algebra from a new perspective, Journal of Systems Science and Mathematical Sciences, 2010, 30(1): 1\u201311.","journal-title":"Journal of Systems Science and Mathematical Sciences"},{"issue":"1","key":"8350_CR20","first-page":"1","volume":"21","author":"J Z Zhang","year":"2018","unstructured":"Zhang J Z, Outlines for point-geometry, Studies in College Mathematics, 2018, 21(1): 1\u20138.","journal-title":"Studies in College Mathematics"},{"issue":"2","key":"8350_CR21","doi-asserted-by":"publisher","first-page":"207","DOI":"10.3724\/SP.J.1016.2008.00207","volume":"31","author":"J G Jiang","year":"2008","unstructured":"Jiang J G, Zhang J Z, and Wang X J, Readable proving for geometric theorems of polynomial equality type: Readable proving for geometric theorems of polynomial equality type, Chinese Journal of Computers, 2008, 31(2): 207\u2013213.","journal-title":"Chinese Journal of Computers"}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-019-8350-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8350-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-019-8350-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,14]],"date-time":"2020-02-14T00:05:47Z","timestamp":1581638747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-019-8350-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["8350"],"URL":"https:\/\/doi.org\/10.1007\/s11424-019-8350-6","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2]]},"assertion":[{"value":"2 August 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 October 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 February 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}