{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:00:23Z","timestamp":1725559223032},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540262961"},{"type":"electronic","value":"9783540321194"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11499251_17","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T06:45:11Z","timestamp":1279089911000},"page":"207-216","source":"Crossref","is-referenced-by-count":0,"title":["Intrinsic Differential Geometry with Geometric Calculus"],"prefix":"10.1007","author":[{"given":"Hongbo","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lina","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nanbin","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weikun","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","DOI":"10.1142\/3812","volume-title":"Lectures on Differential Geometry","author":"S.S. Chern","year":"1999","unstructured":"Chern, S.S., Chen, W.-H., Lan, K.-S.: Lectures on Differential Geometry. World Scientific, Singapore (1999)"},{"key":"17_CR2","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., Sobczyk, G.: Clifford Algebra to Geometric Calculus. D. Reidel, Dordrecht (1984)"},{"key":"17_CR3","first-page":"29","volume-title":"Proc. ASCM 1995","author":"H. Li","year":"1995","unstructured":"Li, H.: In: Proc. ASCM 1995, pp. 29\u201332. Scientists Inc, Tokyo (1995)"},{"issue":"4","key":"17_CR4","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/BF02911434","volume":"40","author":"H. Li","year":"1997","unstructured":"Li, H.: On mechanical theorem proving in differential geometry \u2013 local theory of surfaces. Science in China A\u00a040(4), 350\u2013356 (1997)","journal-title":"Science in China A"},{"key":"17_CR5","first-page":"147","volume-title":"Mathematics Mechanization and Applications","author":"H. Li","year":"2000","unstructured":"Li, H.: Mechanical theorem proving in differential geometry. In: Gao, X.-S., Wang, D. (eds.) Mathematics Mechanization and Applications, pp. 147\u2013174. Academic Press, London (2000)"},{"key":"17_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198532538.001.0001","volume-title":"Riemannian Geometry","author":"T.J. Willmore","year":"1993","unstructured":"Willmore, T.J.: Riemannian Geometry. Clarendon Press, Oxford (1993)"},{"key":"17_CR7","unstructured":"Wu, W.-T.: On the mechanization of theorem-proving in elementary differential geometry. Scientia Sinica (Math. Suppl. I), 94\u2013102 (1979)"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra and Geometric Algebra with Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11499251_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T09:04:58Z","timestamp":1711616698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11499251_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262961","9783540321194"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/11499251_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}