{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:18:37Z","timestamp":1775053117590,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540541950","type":"print"},{"value":"9783540474890","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54195-0_60","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:36:15Z","timestamp":1330209375000},"page":"304-321","source":"Crossref","is-referenced-by-count":26,"title":["Standard bases of differential ideals"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Ollivier","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"H. BASS et al. The jacobian conjecture: reduction of degree and formal expansion of the inverse, Bulletin of the A.M.S. vol. 7, no 2, 1982.","DOI":"10.1090\/S0273-0979-1982-15032-7"},{"key":"27_CR2","first-page":"2","volume":"72","author":"B. Buchberger","year":"1979","unstructured":"B. BUCHBERGER, A criterion for detecting unecessary reductions in the construction of Groebner bases, proceedings of EUROSAM'79, Marseille, Lect. Notes in Computer Science 72, 2\u201331, Springer Verlag, 1979.","journal-title":"Lect. Notes in Computer Science"},{"key":"27_CR3","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/3-540-51082-6_73","volume":"356","author":"G. Carra'-Ferro","year":"1987","unstructured":"G. CARRA'-FERRO, Gr\u00f6bner Bases and Differential Ideals, proceeding of AAECC'5, Lect. Notes in Computer Science 356, 129\u2013140, Springer Verlag, 1987.","journal-title":"Lect. Notes in Computer Science"},{"key":"27_CR4","unstructured":"F. CASTRO, Th\u00e9or\u00e8mes de division dans les op\u00e9rateurs diff\u00e9rentiels et calculs des multiplicit\u00e9s, Th\u00e8se de troisi\u00e8me cycle, Universit\u00e9 Paris VII, 19 Octobre 1984."},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"CHOU Shang-Ching, Mechanical geometry theorem proving, D. Reidel pub. co., 1988.","DOI":"10.1007\/978-94-009-4037-6"},{"key":"27_CR6","unstructured":"Sette DIOP, Th\u00e9orie de l'\u00e9limination et principe du mod\u00e8le interne en automatique, th\u00e8se de doctorat, universit\u00e9 Paris-Sud, 1989."},{"key":"27_CR7","unstructured":"M. JANET, Sur les syst\u00e8mes d'\u00e9quations aux d\u00e9riv\u00e9es partielles, Journ. de Math. (8e s\u00e9rie), tome III, 1920."},{"key":"27_CR8","volume-title":"An introduction to differential algebra","author":"I. Kaplansky","year":"1957","unstructured":"I. KAPLANSKY, An introduction to differential algebra, Hermann, Paris, 1957."},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Deepak KAPUR and Klaus MADLENER, A Completion Procedure for Computing a Canonical Basis of a k-Subalgebra, Computers and Mathematics, E. Kaltofen and S. M. Watt editors, Springer, 1989.","DOI":"10.1007\/978-1-4613-9647-5_1"},{"key":"27_CR10","unstructured":"E. R. KOLCHIN, Differential algebra and algebraic groups, Academic Press, 1973."},{"key":"27_CR11","doi-asserted-by":"crossref","first-page":"963","DOI":"10.2307\/1990996","volume":"1","author":"J. Koll\u00e1r","year":"1988","unstructured":"J. KOLL\u00c1R, Sharp effective nullstellensatz, J. Am. Math. Soc. 1, (963\u2013975), 1988.","journal-title":"J. Am. Math. Soc."},{"key":"27_CR12","volume-title":"proc. of ISSAC'89","author":"F. Ollivier","year":"1989","unstructured":"F. OLLIVIER, Inversibility of rational mappings and structural identifiability in automatics, proc. of ISSAC'89, Portland, Oregon, ACM Press, 1989."},{"key":"27_CR13","unstructured":"F. OLLIVIER, Canonical bases: relations with standard bases, finiteness conditions and application to tame automorphisms, to appear in the proceedings of MEGA '90, Castiglioncello."},{"key":"27_CR14","unstructured":"F. OLLIVIER, Le probl\u00e8me de l'identifiabilit\u00e9: approache th\u00e9orique, m\u00e9thodes effectives et \u00e9tude de complexit\u00e9, Th\u00e8se de Doctorat en Sciences, \u00c9cole Polytechnique, Juin 1990."},{"key":"27_CR15","volume-title":"Differential Galois theory","author":"J. F. Pommaret","year":"1983","unstructured":"J. F. POMMARET, Differential Galois theory, Gordon and Breach, New-York, 1983."},{"key":"27_CR16","unstructured":"J. F. POMMARET, Effective method for systems of algebraic partial differential equations, preprint, 1989."},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"J. F. RITT, Differential equations from the algebraic standpoint, A.M.S. col. publ. vol. XIV, 1932.","DOI":"10.1090\/coll\/014"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"J. F. RITT, Differential algebra, A.M.S. col. publ. vol. XXXIII, 1950.","DOI":"10.1090\/coll\/033"},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"L. ROBBIANO and M. SWEEDLER, Subalgebra Bases, preprint, Cornell Univ., 1989.","DOI":"10.1007\/BFb0085537"},{"issue":"2","key":"27_CR20","first-page":"31","volume":"3","author":"A. Seidenberg","year":"1956","unstructured":"A. SEIDENBERG, An elimination theory for differential algebra, Univ. California Publications in Math., (N.S.), 3, no 2, 31\u201365, 1956.","journal-title":"Univ. California Publications in Math."},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"D. SHANNON and M. SWEEDLER, Using Groebner bases to determine algebra membership, split surjective algebra homomorphisms and determine birational equivalence, preprint 1987, appeared in J. Symb Comp. 6 (2\u20133).","DOI":"10.1016\/S0747-7171(88)80047-6"}],"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-54195-0_60.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:53:01Z","timestamp":1605646381000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54195-0_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541950","9783540474890"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-54195-0_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}