{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:15:44Z","timestamp":1786979744150,"version":"3.56.0"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,3,7]],"date-time":"2009-03-07T00:00:00Z","timestamp":1236384000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1007\/s00200-009-0091-7","type":"journal-article","created":{"date-parts":[[2009,3,6]],"date-time":"2009-03-06T05:28:07Z","timestamp":1236317287000},"page":"73-121","source":"Crossref","is-referenced-by-count":62,"title":["Computing representations for radicals of finitely generated differential ideals"],"prefix":"10.1007","volume":"20","author":[{"given":"Fran\u00e7ois","family":"Boulier","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Lazard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fran\u00e7ois","family":"Ollivier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michel","family":"Petitot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2009,3,7]]},"reference":[{"key":"91_CR1","volume-title":"Gr\u00f6bner Bases: A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics, vol. 141","author":"T. Becker","year":"1991","unstructured":"Becker T., Weispfenning V. (1991) Gr\u00f6bner Bases: A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics, vol. 141. Springer, New York"},{"key":"91_CR2","unstructured":"Boulier, F.: \u00c9tude et Implantation de Quelques Algorithmes en Alg\u00e8bre Diff\u00e9rentielle. PhD thesis, Universit\u00e9 Lille I, 59655, Villeneuve d\u2019Ascq, France (1994). http:\/\/tel.archives-ouvertes.fr\/tel-00137866"},{"key":"91_CR3","unstructured":"Boulier, F.: Some improvements of a lemma of Rosenfeld (never published) (1997)"},{"key":"91_CR4","doi-asserted-by":"crossref","unstructured":"Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Representation for the radical of a finitely generated differential ideal. In: ISSAC\u201995: Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, pp. 158\u2013166, ACM Press, New York (1995). ISBN 0-89791-699-9. http:\/\/hal.archives-ouvertes.fr\/hal-00138020","DOI":"10.1145\/220346.220367"},{"key":"91_CR5","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1006\/jsco.1999.1562","volume":"31","author":"D. Bouziane","year":"2001","unstructured":"Bouziane D., Kandri Rody A., Ma\u00e2rouf H. (2001) Unmixed-dimensional decomposition of a finitely generated perfect differential ideal. J. Symb. Comput. 31: 631\u2013649","journal-title":"J. Symb. Comput."},{"key":"91_CR6","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: A Criterion for Detecting Unnecessary Reductions in the Construction of Gr\u00f6bner Bases. Lecture Notes in Computer Science, vol. 72, pp. 3\u201321. Springer, New York (1979)","DOI":"10.1007\/3-540-09519-5_52"},{"key":"91_CR7","unstructured":"Carra-Ferro, G.: Gr\u00f6bner bases and differential ideals. In: Proceedings of AAECC 5, pp. 129\u2013140, Springer, Menorca (1987)"},{"key":"91_CR8","doi-asserted-by":"crossref","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Ideals, Varieties and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra. Undergraduate Texts in Mathematics. Springer, New York (1992)","DOI":"10.1007\/978-1-4757-2181-2_8"},{"key":"91_CR9","doi-asserted-by":"crossref","unstructured":"Eisenbud, D.: Commutative Algebra with a View Toward Algebraic Geometry. Graduate Texts in Mathematics, vol. 150. Springer, New York (1995)","DOI":"10.1007\/978-1-4612-5350-1"},{"key":"91_CR10","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/3-540-54522-0_106","volume":"539","author":"G. Gallo","year":"1991","unstructured":"Gallo G., Mishra B., Ollivier F. (1991) Some constructions in rings of differential polynomials. Lect. Notes Comput. Sci. 539: 171\u2013182","journal-title":"Lect. Notes Comput. Sci."},{"issue":"2-3","key":"91_CR11","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0747-7171(88)80048-8","volume":"6","author":"R. Gebauer","year":"1988","unstructured":"Gebauer R., M\u00f6ller H.M. (1988) On an installation of Buchberger\u2019s algorithm. J. Symb. Comput. 6(2-3): 275\u2013286","journal-title":"J. Symb. Comput."},{"key":"91_CR12","unstructured":"Hubert, \u00e9.: \u00c9tude Alg\u00e9brique et\u00a0algorithmique des Singularit\u00e9s des \u00c9quations Diff\u00e9rentielles Implicites. PhD thesis, Institut National Polytechnique de Grenoble, France (1997)"},{"key":"91_CR13","unstructured":"Janet, M.: Syst\u00e8mes d\u2019\u00c9quations aux D\u00e9riv\u00e9es Partielles. Journal de Math\u00e9matiques, 8 e S\u00e9rie, vol. 3. Gauthier-Villars, Paris (1920)"},{"key":"91_CR14","unstructured":"Janet, M.: Le\u00e7ons sur les Syst\u00e8mes d\u2019\u00c9quations aux D\u00e9riv\u00e9es Partielles. Cahiers Scientifiques, vol. IV. Gauthier-Villars, Paris (1929)"},{"key":"91_CR15","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1006\/jsco.1993.1011","volume":"15","author":"M. Kalkbrener","year":"1993","unstructured":"Kalkbrener M. (1993) A generalized euclidean algorithm for computing triangular representations of algebraic varieties. J. Symb. Comput. 15: 143\u2013167","journal-title":"J. Symb. Comput."},{"key":"91_CR16","volume-title":"The Art of Computer Programming","author":"D.E. Knuth","year":"1966","unstructured":"Knuth D.E. (1966) The Art of Computer Programming, 2nd edn. Addison-Wesley, Reading","edition":"2"},{"key":"91_CR17","volume-title":"Differential Algebra and Algebraic Groups","author":"E.R. Kolchin","year":"1973","unstructured":"Kolchin E.R. (1973) Differential Algebra and Algebraic Groups. Academic Press, New York"},{"key":"91_CR18","volume-title":"Theorie der Endlichen und Unendlichen Graphen","author":"D. K\u0151nig","year":"1950","unstructured":"K\u0151nig D. (1950) Theorie der Endlichen und Unendlichen Graphen. Chelsea, New York"},{"key":"91_CR19","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0747-7171(08)80086-7","volume":"13","author":"D. Lazard","year":"1992","unstructured":"Lazard D. (1992) Solving zero-dimensional algebraic systems. J. Symb. Comput. 13: 117\u2013131","journal-title":"J. Symb. Comput."},{"key":"91_CR20","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/1969151","volume":"46","author":"H. Levi","year":"1945","unstructured":"Levi H. (1945) The low power theorem for partial differential equations. Ann. Math. Soc. 46: 113\u2013119","journal-title":"Ann. Math. Soc."},{"key":"91_CR21","unstructured":"Ma\u00e2rouf, H.: \u00c9tude de Quelques Probl\u00e8mes Effectifs en Alg\u00e8bre Diff\u00e9rentielle. PhD thesis, Universit\u00e9 Cadi Ayyad, Morocco (1996)"},{"key":"91_CR22","unstructured":"Mansfield, E.L.: Differential Gr\u00f6bner Bases. PhD thesis, University of Sydney, Australia (1991)"},{"key":"91_CR23","unstructured":"Moreno Maza, M.: Calculs de Pgcd au-dessus des Tours d\u2019Extensions Simples et R\u00e9solution des Syst\u00e8mes d\u2019\u00c9quations Alg\u00e9briques. PhD thesis, Universit\u00e9 Paris VI, France (1997)"},{"key":"91_CR24","unstructured":"Morrison, S.: Yet another proof of Lazard\u2019s lemma. Private communication (1995)"},{"key":"91_CR25","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1006\/jsco.1999.0318","volume":"28","author":"S. Morrison","year":"1999","unstructured":"Morrison S. (1999) The differential ideal [P] : M \u221e. J. Symb. Comput. 28: 631\u2013656","journal-title":"J. Symb. Comput."},{"key":"91_CR26","unstructured":"Ollivier, F.: Le Probl\u00e8me de l\u2019Identifiabilit\u00e9 Structurelle Globale: Approche Th\u00e9orique, M\u00e9thodes Effectives et Bornes de Complexit\u00e9. PhD thesis, \u00c9cole Polytechnique, Palaiseau, France (1990)"},{"key":"91_CR27","unstructured":"Ollivier, F.: A proof of Lazard\u2019s lemma. Private communication (1998)"},{"key":"91_CR28","doi-asserted-by":"crossref","unstructured":"Olver, P.J.: Applications of Lie Groups to Differential Equations. Graduate Texts in Mathematics, vol. 107, 2nd edn. Springer, New York (1993)","DOI":"10.1007\/978-1-4612-4350-2"},{"key":"91_CR29","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511609565","volume-title":"Equivalence, Invariants and Symmetry","author":"P.J. Olver","year":"1995","unstructured":"Olver P.J. (1995) Equivalence, Invariants and Symmetry. Cambridge University Press, New York"},{"key":"91_CR30","unstructured":"P\u00e9ladan-Germa, A.: Tests Effectifs de Nullit\u00e9 Dans des Extensions d\u2019Anneaux Diff\u00e9rentiels. PhD thesis, \u00c9cole Polytechnique, Palaiseau, France (1997)"},{"key":"91_CR31","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1017\/S0956792500000577","volume":"2","author":"G.J. Reid","year":"1991","unstructured":"Reid G.J. (1991) Algorithms for reducing a system of PDEs to standard form determining the dimension of its solution space and calculating its Taylor series solution. Eur. J. Appl. Math. 2: 293\u2013318","journal-title":"Eur. J. Appl. Math."},{"issue":"6","key":"91_CR32","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1017\/S0956792500002618","volume":"7","author":"G.J. Reid","year":"1996","unstructured":"Reid G.J., Wittkopf A.D., Boulton A. (1996) Reduction of systems of nonlinear partial differential equations to simplified involutive forms. Eur. J. Appl. Math. 7(6): 635\u2013666","journal-title":"Eur. J. Appl. Math."},{"issue":"1","key":"91_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/1467-9590.00159","volume":"106","author":"G.J. Reid","year":"2001","unstructured":"Reid G.J., Lin P., Wittkopf A.D. (2001) Differential elimination-completion algorithms for DAE and PDAE. Stud. Appl. Math. 106(1): 1\u201345","journal-title":"Stud. Appl. Math."},{"key":"91_CR34","volume-title":"Les Syst\u00e8mes d\u2019\u00c9quations aux D\u00e9riv\u00e9es Partielles","author":"C. Riquier","year":"1910","unstructured":"Riquier C. (1910) Les Syst\u00e8mes d\u2019\u00c9quations aux D\u00e9riv\u00e9es Partielles. Gauthier-Villars, Paris"},{"key":"91_CR35","doi-asserted-by":"crossref","unstructured":"Ritt, J.F.: Differential Equations from the Algebraic Standpoint. American Mathematical Society Colloquium Publications, vol. 14. AMS, New York (1932)","DOI":"10.1090\/coll\/014"},{"key":"91_CR36","unstructured":"Ritt, J.F.: Differential Algebra. Dover, New York (1950). http:\/\/www.ams.org\/online_bks\/coll33"},{"key":"91_CR37","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1090\/S0002-9947-1959-0107642-2","volume":"90","author":"A. Rosenfeld","year":"1959","unstructured":"Rosenfeld A. (1959) Specializations in differential algebra. Trans. Am. Math. Soc. 90: 394\u2013407","journal-title":"Trans. Am. Math. Soc."},{"key":"91_CR38","unstructured":"Schicho, J., Li, Z.: A construction of radical ideals in polynomial algebra. Technical report, RISC, Johannes Kepler University, Linz, Austria, August (1995)"},{"key":"91_CR39","first-page":"174","volume":"73","author":"A. Seidenberg","year":"1952","unstructured":"Seidenberg A. (1952) Some basic theorems in differential algebra(characteristic p arbitrary). Trans. Am. Math. Soc. 73: 174\u2013190","journal-title":"Trans. Am. Math. Soc."},{"key":"91_CR40","first-page":"31","volume":"3","author":"A. Seidenberg","year":"1956","unstructured":"Seidenberg A. (1956) An elimination theory for differential algebra. Univ. Calif. Publ. Math. (New Series) 3: 31\u201365","journal-title":"Univ. Calif. Publ. Math. (New Series)"},{"key":"91_CR41","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1090\/S0002-9939-1958-0093655-0","volume":"9","author":"A. Seidenberg","year":"1958","unstructured":"Seidenberg A. (1958) Abstract differential algebra and the analytic case. Proc. Am. Math. Soc. 9: 159\u2013164","journal-title":"Proc. Am. Math. Soc."},{"key":"91_CR42","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1090\/S0002-9939-1969-0248122-5","volume":"23","author":"A. Seidenberg","year":"1969","unstructured":"Seidenberg A. (1969) Abstract differential algebra and the analytic case II. Proc. Am. Math. Soc. 23: 689\u2013691","journal-title":"Proc. Am. Math. Soc."},{"key":"91_CR43","volume-title":"Algebra","author":"B.L. Waerden van der","year":"1966","unstructured":"Waerden B.L. (1966) Algebra, 7th edn. Springer, Berlin","edition":"7"},{"key":"91_CR44","unstructured":"Wang, D.: An elimination method for differential polynomial systems I. Technical report, LIFIA\u2013IMAG, Grenoble, France (1994)"},{"key":"91_CR45","first-page":"2","volume":"3","author":"W.W. Ts\u00fcn","year":"1989","unstructured":"Ts\u00fcn W.W. (1989) On the foundation of algebraic differential geometry. Mechanization Math. 3: 2\u201327 (research preprints)","journal-title":"Mechanization Math."},{"key":"91_CR46","unstructured":"Zariski, O., Samuel, P.: Commutative Algebra. Van Nostrand, New York (1958). Also volumes 28 and 29 of the Graduate Texts in Mathematics. Springer, New York"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-009-0091-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00200-009-0091-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-009-0091-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,2]],"date-time":"2021-10-02T16:12:14Z","timestamp":1633191134000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00200-009-0091-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,7]]},"references-count":46,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,4]]}},"alternative-id":["91"],"URL":"https:\/\/doi.org\/10.1007\/s00200-009-0091-7","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3,7]]}}}