{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T06:59:57Z","timestamp":1774594797158,"version":"3.50.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T00:00:00Z","timestamp":1283299200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1007\/s11786-010-0060-3","type":"journal-article","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T07:40:52Z","timestamp":1289202052000},"page":"185-201","source":"Crossref","is-referenced-by-count":9,"title":["A Normal Form Algorithm for Regular Differential Chains"],"prefix":"10.1007","volume":"4","author":[{"given":"Fran\u00e7ois","family":"Boulier","sequence":"first","affiliation":[]},{"given":"Fran\u00e7ois","family":"Lemaire","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,11,9]]},"reference":[{"key":"60_CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1006\/jsco.1999.0269","volume":"28","author":"P. Aubry","year":"1999","unstructured":"Aubry P., Lazard D., Moreno Maza M.: On the theories of triangular sets. J. Symbolic Comput. 28, 105\u2013124 (1999)","journal-title":"J. Symbolic Comput."},{"key":"60_CR2","unstructured":"Boulier, F.: Efficient computation of regular differential systems by change of rankings using K\u00e4hler differentials. Tech. rep., Universit\u00e9 Lille I, 59655, Villeneuve d\u2019Ascq, France, ref. LIFL 1999\u201314, presented at the MEGA 2000 conference. http:\/\/hal.archives-ouvertes.fr\/hal-00139738 (1999)"},{"key":"60_CR3","doi-asserted-by":"crossref","unstructured":"Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Computing representations for radicals of finitely generated differential ideals. J. AAECC 20(1), 73\u2013121 (2009) (1997 Techrep. IT306 of the LIFL)","DOI":"10.1007\/s00200-009-0091-7"},{"key":"60_CR4","unstructured":"Boulier, F., Lemaire, F.: Computing canonical representatives of regular differential ideals. In: ISSAC\u201900: Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, pp. 38\u201347. ACM Press, New York. http:\/\/hal.archives-ouvertes.fr\/hal-00139177 , 2000"},{"key":"60_CR5","unstructured":"Boulier, F., Lemaire, F.: A computer scientist point of view on Hilbert\u2019s differential theorem of zeros (preprint). http:\/\/hal.archives-ouvertes.fr\/hal-00170091 , 2007"},{"key":"60_CR6","unstructured":"Boulier, F., Lemaire, F., Moreno Maza, M.: Well known theorems on triangular systems and the D 5 principle. In: Proceedings of Transgressive Computing 2006. Granada, Spain, pp. 79\u201391. http:\/\/hal.archives-ouvertes.fr\/hal-00137158 (2006)"},{"key":"60_CR7","unstructured":"Buium, A., Cassidy, P.: Differential Algebraic Geometry and Differential Algebraic Groups: From Algebraic Differential Equations To Diophantine Geometry, pp. 567\u2013636. American Mathematical Society, Providence (1998)"},{"key":"60_CR8","doi-asserted-by":"crossref","unstructured":"Della Dora, J., Dicrescenzo, C., Duval, D.: About a new method for computing in algebraic number fields. In: Proceedings of EUROCAL85, vol. 2. Vol. 204 of Lecture Notes in Computer Science, pp. 289\u2013290. Springer, Berlin (1985)","DOI":"10.1007\/3-540-15984-3_279"},{"key":"60_CR9","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1006\/jsco.1993.1051","volume":"16","author":"J.-C Faug\u00e8re","year":"1993","unstructured":"Faug\u00e8re J.-C, Gianni P., Lazard D., Mora T.: Efficient computation of Gr\u00f6bner bases by change of orderings. J. Symbolic Comput. 16, 329\u2013344 (1993)","journal-title":"J. Symbolic Comput."},{"issue":"4,5","key":"60_CR10","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1006\/jsco.1999.0344","volume":"29","author":"\u00c9. Hubert","year":"2000","unstructured":"Hubert \u00c9.: Factorization free decomposition algorithms in differential algebra. J. Symbolic Comput. 29(4,5), 641\u2013662 (2000)","journal-title":"J. Symbolic Comput."},{"key":"60_CR11","doi-asserted-by":"crossref","unstructured":"Hubert, \u00c9.: Notes on triangular sets and triangulation\u2013decomposition algorithm I: Polynomial Systems. Symbolic and Numerical Scientific Computing 2001, pp. 243\u2013158 (2003)","DOI":"10.1007\/3-540-45084-X_1"},{"key":"60_CR12","doi-asserted-by":"crossref","unstructured":"Hubert, \u00c9.: Notes on triangular sets and triangulation\u2013decomposition algorithm II: differential systems. In: Symbolic and Numerical Scientific Computing 2001, pp. 40\u201387 (2003)","DOI":"10.1007\/3-540-45084-X_2"},{"key":"60_CR13","doi-asserted-by":"crossref","unstructured":"Hubert, \u00c9., Le Roux, N.: Computing power series solutions of a nonlinear PDE system. In: Proceedings of ISSAC 2003, Philadelphia, USA, pp. 148\u2013155 (2003)","DOI":"10.1145\/860854.860891"},{"key":"60_CR14","volume-title":"The Art of Computer Programming","author":"D.E. Knuth","year":"1966","unstructured":"Knuth D.E.: The Art of Computer Programming, 2nd edn. Addison-Wesley, Boston (1966)","edition":"2"},{"key":"60_CR15","volume-title":"Differential Algebra and Algebraic Groups","author":"E.R. Kolchin","year":"1973","unstructured":"Kolchin E.R.: Differential Algebra and Algebraic Groups. Academic Press, New York (1973)"},{"key":"60_CR16","unstructured":"Lemaire, F., Contribution \u00e0 l\u2019algorithmique en alg\u00e8bre diff\u00e9rentielle. Ph.D. thesis, Universit\u00e9 Lille I, 59655, Villeneuve d\u2019Ascq, France (in French) (2002)"},{"key":"60_CR17","first-page":"207","volume-title":"Proceedings of Computer Algebra in Scientific computation 2002","author":"F. Lemaire","year":"2002","unstructured":"Lemaire F.: Les classements les plus g\u00e9n\u00e9raux assurant l\u2019analycit\u00e9 des syst\u00e8mes orthonomes pour des conditions initiales analytiques. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds) Proceedings of Computer Algebra in Scientific computation 2002, pp. 207\u2013219. Instit\u00fct f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, Yalta (2002)"},{"key":"60_CR18","doi-asserted-by":"crossref","unstructured":"Moreno Maza, M., Rioboo, R.: Polynomial gcd computations over towers of algebraic extensions. In: Proceedings of AAECC11, pp. 365\u2013382. Springer, Berlin (1995)","DOI":"10.1007\/3-540-60114-7_28"},{"key":"60_CR19","unstructured":"P\u00e9ladan-Germa, A.: Tests effectifs de Nullit\u00e9 dans des extensions d\u2019anneaux diff\u00e9rentiels. Ph.D. thesis, \u00c9cole Polytechnique, Palaiseau, France (1997)"},{"key":"60_CR20","volume-title":"Les syst\u00e8mes d\u2019\u00e9quations aux d\u00e9riv\u00e9es partielles","author":"C. Riquier","year":"1910","unstructured":"Riquier C.: Les syst\u00e8mes d\u2019\u00e9quations aux d\u00e9riv\u00e9es partielles. Gauthier\u2013Villars, Paris (1910)"},{"key":"60_CR21","doi-asserted-by":"crossref","DOI":"10.1090\/coll\/033","volume-title":"Differential Algebra","author":"J.F. Ritt","year":"1950","unstructured":"Ritt J.F.: Differential Algebra. Dover Publications, New York (1950)"},{"key":"60_CR22","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.: Specializations in differential algebra. Trans. Amer. Math. Soc. 90, 394\u2013407 (1959)","journal-title":"Trans. Amer. Math. Soc."},{"key":"60_CR23","doi-asserted-by":"crossref","unstructured":"Rust, C.J., Reid, G.J., Wittkopf, A.D.: Existence and uniqueness theorems for formal power series solutions of analytic differential systems. In: Proceedings of ISSAC 1999, Vancouver, Canada (1999)","DOI":"10.1145\/309831.309875"},{"key":"60_CR24","first-page":"31","volume":"3","author":"A. Seidenberg","year":"1956","unstructured":"Seidenberg A.: 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":"60_CR25","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.: Abstract differential algebra and the analytic case. Proc. Amer. Math. Soc. 9, 159\u2013164 (1958)","journal-title":"Proc. Amer. Math. Soc."},{"key":"60_CR26","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.: Abstract differential algebra and the analytic case II. Proc. Amer. Math. Soc. 23, 689\u2013691 (1969)","journal-title":"Proc. Amer. Math. Soc."},{"key":"60_CR27","doi-asserted-by":"crossref","unstructured":"Sit, W.: The Ritt\u2013Kolchin theory for differential polynomials. In: Guo, L., Cassidy, P.J., Keigher, W.F., Sit, W.Y. (eds.) Proceedings of the International Workshop: Differential Algebra and Related Topics, pp. 1\u201370 (2002)","DOI":"10.1142\/9789812778437_0001"},{"key":"60_CR28","volume-title":"Elimination Practice: Software Tools and Applications","author":"D. Wang","year":"2003","unstructured":"Wang D.: Elimination Practice: Software Tools and Applications. Imperial College Press, London (2003)"},{"key":"60_CR29","unstructured":"Zariski, O., Samuel, P.: Commutative Algebra. Van Nostrand, New York, Also volumes 28 and 29 of the Graduate Texts in Mathematics. Springer, Berlin (1958)"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-010-0060-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-010-0060-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-010-0060-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T03:50:44Z","timestamp":1559793044000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-010-0060-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":29,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["60"],"URL":"https:\/\/doi.org\/10.1007\/s11786-010-0060-3","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,9]]}}}