{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T20:28:31Z","timestamp":1675715311145},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1995,3,1]],"date-time":"1995-03-01T00:00:00Z","timestamp":794016000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1995,3]]},"DOI":"10.1007\/bf01531322","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:34:59Z","timestamp":1113870899000},"page":"25-46","source":"Crossref","is-referenced-by-count":6,"title":["Mechanical theorem proving in the local theory of surfaces"],"prefix":"10.1007","volume":"13","author":[{"given":"Ziming","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"ISBN 0-13-212589-7","author":"M.P. Carmo do","year":"1976","unstructured":"M.P. do Carmo,Differential Geometry of Curves and Surfaces (Prentice-Hall, Englewood Cliffs, NJ, 1976) ISBN 0-13-212589-7."},{"key":"CR2","unstructured":"W. Chen,A First Course in Differential Geometry (Beijing University Press, 1990), in Chinese."},{"key":"CR3","first-page":"109","volume":"No. 4","author":"S.C. Chou","year":"1989","unstructured":"S.C. Chou and X. Gao, Mechanical theorem proving in differential geometry, I. Space curves, MM-Res. Preprints No. 4 (1989) pp. 109?124.","journal-title":"MM-Res. Preprints"},{"key":"CR4","unstructured":"S.C. Chou and X. Gao, Mechanical theorem proving in differential geometry, II. Bertrand Curves, TR-90-09, Computer Science Department, The University of Texas at Austin (1990)."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00245819","volume":"6","author":"G.C. Ferro","year":"1990","unstructured":"G.C. Ferro and G. Gallo, A procedure to prove statements in differential geometry, J. Autom. Reasoning 6(1990)203?210.","journal-title":"J. Autom. Reasoning"},{"key":"CR6","first-page":"102","volume":"No. 6","author":"Z. Li","year":"1991","unstructured":"Z. Li, Mechanical theorem-proving of the local theory of surfaces, MM-Res. Preprints No. 6 (1991) pp. 102?120.","journal-title":"MM-Res. Preprints"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"J.F. Ritt,Differential Algebra (Amer. Math. Soc., 1950).","DOI":"10.1090\/coll\/033"},{"key":"CR8","first-page":"290","volume":"2","author":"W.-t. Wu","year":"1989","unstructured":"W.-t. Wu, On the foundation of algebraic differential geometry, Syst. Sci. Math. Sci. 2(1989)290?312.","journal-title":"Syst. Sci. Math. Sci."},{"key":"CR9","first-page":"171","volume":"7","author":"W.-t. Wu","year":"1991","unstructured":"W.-t. Wu, Mechanical proving of differential geometries and some of its applications in mechanics, J. Autom. Reasoning 7(1991)171?192.","journal-title":"J. Autom. Reasoning"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531322\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531322.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531322\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531322","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T00:01:20Z","timestamp":1586217680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01531322"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,3]]},"references-count":9,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1995,3]]}},"alternative-id":["BF01531322"],"URL":"https:\/\/doi.org\/10.1007\/bf01531322","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,3]]}}}