{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:30:53Z","timestamp":1725485453796},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429111"},{"type":"electronic","value":"9783540456247"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45624-4_38","type":"book-chapter","created":{"date-parts":[[2007,6,2]],"date-time":"2007-06-02T23:23:35Z","timestamp":1180826615000},"page":"363-372","source":"Crossref","is-referenced-by-count":2,"title":["Cartan\u2019s Characters and Stairs of Characteristic Sets"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Boulier","sequence":"first","affiliation":[]},{"given":"Sylvain","family":"Neut","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,10,31]]},"reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Boulier, Daniel Lazard, Fran\u00e7ois Ollivier, and Michel Petitot. Representation for the radical of a finitely generated differential ideal. In ISSAC\u201995, p. 158\u2013166, Montr\u00e9al, Canada, 1995.","DOI":"10.1145\/220346.220367"},{"key":"38_CR2","unstructured":"Fran\u00e7ois Boulier, Daniel Lazard, Fran\u00e7ois Ollivier, and Michel Petitot. Computing representations for radicals of finitely generated differential ideals. Tech. rep., Univ. Lille I, LIFL, France, 1997."},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Boulier and Sylvain Neut. Cartan\u2019s characters and stairs of characteristic sets. Tech. rep., Univ. Lille I, LIFL, France, 2001. (ref. LIFL 2001-02).","DOI":"10.1007\/3-540-45624-4_38"},{"key":"38_CR4","unstructured":"\u00c8. Cartan. Les syst\u00e8mes diff\u00e9rentiels ext\u00e9rieurs et leurs applications g\u00e9om\u00e9triques. Hermann, 1945."},{"key":"38_CR5","first-page":"655","volume":"12","author":"D. Hartley","year":"1991","unstructured":"David Hartley and Robin W. Tucker. A Constructive Implementation of the Cartan-K\u00e4hler Theory of Exterior Differential Systems. JSC, 12:655\u2013667, 1991.","journal-title":"JSC"},{"key":"38_CR6","unstructured":"Ellis R. Kolchin. Differential Algebra and Algebraic Groups. A.P., N.Y., 1973."},{"key":"38_CR7","unstructured":"Marc Moreno Maza. On Triangular Decompositions of Algebraic Varieties. Tech. rep. 2000. (pres. at MEGA2000)."},{"key":"38_CR8","first-page":"631","volume":"28","author":"S. Morrison","year":"1999","unstructured":"Sally Morrison. The Differential Ideal [P]: M\u221e. JSC, 28:631\u2013656, 1999.","journal-title":"JSC"},{"key":"38_CR9","unstructured":"Sylvain Neut. Algorithme de compl\u00e9tion en alg\u00e8bre diff\u00e9rentielle ext\u00e9rieure. M\u00e9moire de DEA, LIFL, Univ. Lille I, July 1997."},{"key":"38_CR10","doi-asserted-by":"crossref","unstructured":"Peter J. Olver. Applications of Lie groups to differential equations, volume 107 of Graduate Texts in Mathematics. Springer Verlag, second edition, 1993.","DOI":"10.1007\/978-1-4612-4350-2"},{"key":"38_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511609565","volume-title":"Equivalence, Invariants and Symmetry","author":"P. J. Olver","year":"1995","unstructured":"Peter J. Olver. Equivalence, Invariants and Symmetry. Cambridge Univ. Press, New York, 1995."},{"key":"38_CR12","unstructured":"I. G. Petrovsky. Lectures on Partial Differential Equations. I.P., 1950."},{"key":"38_CR13","volume-title":"Differential Algebra","author":"J. F. Ritt","year":"1950","unstructured":"Joseph Fels Ritt. Differential Algebra. Dover Publ. Inc., New York, 1950."},{"key":"38_CR14","doi-asserted-by":"publisher","first-page":"394","DOI":"10.2307\/1993179","volume":"90","author":"A. Rosenfeld","year":"1959","unstructured":"Azriel Rosenfeld. Specializations in differential algebra. TAMS, 90:394\u2013407, 1959.","journal-title":"TAMS"},{"key":"38_CR15","doi-asserted-by":"crossref","unstructured":"C. J. Rust, Gregory J. Reid, and Allan D. Wittkopf. Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems. In ISSAC\u201999, Vancouver, Canada, 1999.","DOI":"10.1145\/309831.309875"},{"key":"38_CR16","first-page":"31","volume":"3","author":"A. Seidenberg","year":"1956","unstructured":"Abraham Seidenberg. An elimination theory for differential algebra. Univ. California Publ. Math. (New Series), 3:31\u201365, 1956.","journal-title":"Univ. California Publ. Math. (New Series)"},{"key":"38_CR17","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2033416","volume":"9","author":"A. Seidenberg","year":"1958","unstructured":"Abraham Seidenberg. Abstract differential algebra and the analytic case. PAMS, 9:159\u2013164, 1958.","journal-title":"PAMS"},{"key":"38_CR18","unstructured":"Werner Markus Seiler. Analysis and Application of the Formal Theory of Partial Differential Equations. PhD thesis, Lancaster Univ., U. K., 1994."}],"container-title":["Lecture Notes in Computer Science","Applied Algebra, Algebraic Algorithms and Error-Correcting Codes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45624-4_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T16:31:00Z","timestamp":1556469060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45624-4_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429111","9783540456247"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45624-4_38","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}