{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T08:20:28Z","timestamp":1772439628572,"version":"3.50.1"},"reference-count":16,"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\/bf00881834","type":"journal-article","created":{"date-parts":[[2004,12,25]],"date-time":"2004-12-25T19:07:06Z","timestamp":1104001626000},"page":"161-172","source":"Crossref","is-referenced-by-count":23,"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":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/B978-0-12-080550-1.50009-3","volume-title":"Contributions to Algebra","author":"L. Blum","year":"1977","unstructured":"Blum, L., ?Differentially closed fields: A model-theoretic tour?, in:Contributions to Algebra (Eds. H. Basset al.), Academic Press, New York, pp. 37?62 (1977)."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Chou, S. C.,Mechanical Geometry Theorem Proving, D. Reidel Publishing Company (1988).","DOI":"10.1007\/978-94-009-4037-6"},{"key":"CR3","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":"CR4","unstructured":"Chou, S. C. and Gao, X. S., ?Automated reasoning in mechanics using Ritt-Wu's method?, TR-89-11, Computer Sciences Department, The University of Texas at Austin (April 1989)."},{"key":"CR5","unstructured":"Chou, S. C. and Gao, X. S., Ritt-Wu's decomposition algorithm and geometry theorem proving?, TR-89-09, Computer Sciences Department, The University of Texas at Austin (March 1989)."},{"issue":"4","key":"CR6","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BF02328448","volume":"2","author":"S. C. Chou","year":"1986","unstructured":"Chou, S. C. and Schelter, W. F., ?Proving geometry theorem with rewrite rules?,J. Automated Reasoning 2(4), 253?273 (1986).","journal-title":"J. Automated Reasoning"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Kapur, D., ?Geometry theorem proving using Hilbert's nullstellensatz?,Proc. SYMSAC'86, Waterloo, pp. 202?208 (1986).","DOI":"10.1145\/32439.32479"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Kutzler, B. and Stifter, S., ?Automated geometry theorem proving using Buchberger's algorithm?,Proc. SYMSAC'86, Waterloo, pp. 209?214 (1986).","DOI":"10.1145\/32439.32480"},{"key":"CR9","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":"CR10","doi-asserted-by":"crossref","unstructured":"Ritt, J. F., ?Differential algebra?,Amer. Math. Soc. Colloquium (1950).","DOI":"10.1090\/coll\/033"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BF01209162","volume":"96","author":"Waerden van der","year":"1927","unstructured":"van der Waerden,Mathematische Annalen 96, 189 (1927).","journal-title":"Mathematische Annalen"},{"key":"CR12","unstructured":"Wang, D. M. and Gao, X. S., ?Geometry theorems proved mechanically using Wu's method, Part on elementary geometries?, MM preprint No. 2 (1987)."},{"key":"CR13","first-page":"159","volume":"21","author":"Wu Wen-Ts\u00fcn","year":"1978","unstructured":"Wu Wen-Ts\u00fcn, ?On the decision problem and the mechanization of theorem in elementary geometry?,Scientia Sinica 21, 159?172 (1978); Republished inAutomated Theorem Proving: After 25 Years, American Mathematics Society, Contemporary Mathematics,29, 213?234 (1984).","journal-title":"Scientia Sinica"},{"key":"CR14","unstructured":"Wu Wen-Ts\u00fcn, ?Mechanical theorem proving in elementary differential geometry?,Scientia Sinica, Mathematics Supplement (I), 94?102 (1979). (In Chinese.)"},{"key":"CR15","unstructured":"Wu Wen-Ts\u00fcn, ?Mechanical theorem proving in elementary geometry and differential geometry?,Proc. 1980 Beijing, DD1 Symp. Vol. 2, Science Press, pp. 1073?1092 (1982)."},{"key":"CR16","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"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881834.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881834\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T03:27:43Z","timestamp":1682911663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881834"}},"subtitle":["Part I. An improved version of Ritt-Wu's decomposition algorithm"],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993]]}},"alternative-id":["BF00881834"],"URL":"https:\/\/doi.org\/10.1007\/bf00881834","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}