{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:05:36Z","timestamp":1749125136431,"version":"3.41.0"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1998,8,1]],"date-time":"1998-08-01T00:00:00Z","timestamp":901929600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,8,1]],"date-time":"1998-08-01T00:00:00Z","timestamp":901929600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[1998,8]]},"DOI":"10.1023\/a:1005819428156","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T23:56:21Z","timestamp":1040514981000},"page":"1-21","source":"Crossref","is-referenced-by-count":11,"title":["Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry"],"prefix":"10.1007","volume":"21","author":[{"given":"Li","family":"Hongbo","sequence":"first","affiliation":[]},{"given":"Cheng","family":"Minteh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"140891_CR1","unstructured":"Wen-tsun Wu: On the mechanization of theorem proving in elementary and differential geometry, Scientia Sinica, Math. Supplement (I), 1979 (in Chinese)."},{"key":"140891_CR2","unstructured":"Wen-tsun Wu: A Constructive Theory of Differential Algebraic Geometry, Lect. Notes in Math., 1255, Springer-Verlag, 1987."},{"key":"140891_CR3","unstructured":"Wen-tsun Wu: A mechanization method of geometry and its applications II. Curve pairs of Bertrand type, Chinese Science Bulletin\n32(9) (1987)."},{"issue":"2","key":"140891_CR4","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF00243806","volume":"7","author":"W. Wen-tsun","year":"1991","unstructured":"Wen-tsun Wu: Mechanical theorem proving of differential geometries and some of its applications in mechanics, J. Automated Reasoning\n7(2) (1991), 171\u2013191.","journal-title":"J. Automated Reasoning"},{"issue":"2","key":"140891_CR5","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF00881834","volume":"10","author":"S. C. Chou","year":"1993","unstructured":"Chou, S. C. and Gao, X. S.: Automated reasoning in differential geometry and mechanics using the characteristic set method - I, II, J. Automated Reasoning\n10(2) (1993), 161\u2013172.","journal-title":"J. Automated Reasoning"},{"issue":"2","key":"140891_CR6","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00245819","volume":"6","author":"G. C. Ferro","year":"1990","unstructured":"Ferro, G. C. and Gallo, G.: A Procedure to Prove Statements in Differential Geometries, J. Automated Reasoning\n6(2) (1990), 203\u2013209.","journal-title":"J. Automated Reasoning"},{"key":"140891_CR7","volume-title":"Mechanical Theorem-Proving of the Local Theory of the Surfaces","author":"Z. M. Li","year":"1991","unstructured":"Li, Z. M.: Mechanical Theorem-Proving of the Local Theory of the Surfaces, MM Research Preprints 6, 1991, MMRC, Institute of Systems Science, Academia Sinica, Beijing."},{"key":"140891_CR8","unstructured":"Wang, D. M.: A method for proving theorems in differential geometry and mechanics, J. Universal Computer Science\n1(9) (1995)."},{"key":"140891_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-6292-7","volume-title":"Clifford Algebra to Geometric Calculus","author":"D. Hestenes","year":"1984","unstructured":"Hestenes, D. and Sobczyk, G.: Clifford Algebra to Geometric Calculus, D. Reidel, Dordrecht\/Boston, 1984."},{"key":"140891_CR10","unstructured":"Li Hongbo, and Cheng Minteh: Ordering in automated theorem proving of differential geometry, Chinese J. Appl. Math. (to appear)."},{"key":"140891_CR11","unstructured":"Chen Weihuan: Preliminaries of Differential Geometry, Peking Univ. Pr., 1990 (in Chinese)."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005819428156.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005819428156\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005819428156.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:24:37Z","timestamp":1749122677000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005819428156"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,8]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,8]]}},"alternative-id":["140891"],"URL":"https:\/\/doi.org\/10.1023\/a:1005819428156","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[1998,8]]}}}