{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,9]],"date-time":"2025-06-09T13:45:20Z","timestamp":1749476720105},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bf00881835","type":"journal-article","created":{"date-parts":[[2004,12,25]],"date-time":"2004-12-25T19:07:06Z","timestamp":1104001626000},"page":"173-189","source":"Crossref","is-referenced-by-count":10,"title":["Automated reasoning in differential geometry and mechanics using the characteristic set method"],"prefix":"10.1007","volume":"10","author":[{"given":"Shang-Ching","family":"Chou","sequence":"first","affiliation":[]},{"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Chou, S. C. and Gao, X. S., ?Mechanical theorem proving in differential geometry, I. Space curves?, TR-89-08, Computer Sciences Department, The University of Texas at Austin (March, 1989)."},{"key":"CR2","unstructured":"Chou, S. C. and Gao, X. S., ?Mechanical theorem proving in differential geometry, II. Bertrand curves?, TR-90-09, Computer Sciences Department, The University of Texas at Austin (April, 1990)."},{"key":"CR3","unstructured":"Chou, S. C. and Gao, X. S., ?Automated reasoning in mechanics using Ritt-Wu's method?, TR-89-11, Computer Science Department, The University of Texas at Austin (April, 1989)."},{"key":"CR4","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. An improved version of Ritt-Wu's decomposition algorithm?,J. Automated Reasoning 10, 161?172 (1993).","journal-title":"J. Automated Reasoning"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BF01553889","volume":"4","author":"S. C. Chou","year":"1989","unstructured":"Chou, S. C. and Yang, Jingen, ?On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving?,Algorithmica 4, 237?262 (1989).","journal-title":"Algorithmica"},{"key":"CR6","first-page":"7","volume":"4","author":"S. Diol","year":"1991","unstructured":"Diol, S., ?Elimination in control theory?,Math. Control Signals Systems 4, 7?32 (1991).","journal-title":"Math. Control Signals Systems"},{"key":"CR7","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 6, 203?209 (1990).","journal-title":"J. Automated Reasoning"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Ritt, J. F., ?Differential equations from the algebraic standpoint?,Amer. Math. Soc. Colloquium 14 (1932).","DOI":"10.1090\/coll\/014"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Ritt, J. F., ?Differential algebra?,Amer. Math. Soc. Colloquium (1950).","DOI":"10.1090\/coll\/033"},{"key":"CR10","first-page":"31","volume":"3","author":"A. Seidenberg","year":"1956","unstructured":"Seidenberg, A., ?An elimination theory for differential algebra?,Univ. California Publication in Math. 3, 31?65 (1956).","journal-title":"Univ. California Publication in Math."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Wu, Wen-ts\u00fcn, ?A constructive theory of differential algebraic geometry?,Lect. Notes in Math., No. 1255, pp. 173?189, Springer-Verlag (1987).","DOI":"10.1007\/BFb0077689"},{"key":"CR12","unstructured":"Wu, Wen-ts\u00fcn, ?Mechanical derivation of Newton's gravitational laws from Kepler's laws?, MM Research Preprints, No. 1, Inst. of Systems Science (1987)."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881835.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881835\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881835","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T03:27:44Z","timestamp":1682911664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881835"}},"subtitle":["Part II. Mechanical theorem proving"],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993]]}},"alternative-id":["BF00881835"],"URL":"https:\/\/doi.org\/10.1007\/bf00881835","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}