{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T18:10:57Z","timestamp":1648663857410},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2008,9,3]],"date-time":"2008-09-03T00:00:00Z","timestamp":1220400000000},"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":[[2008,10]]},"DOI":"10.1007\/s00200-008-0079-8","type":"journal-article","created":{"date-parts":[[2008,9,2]],"date-time":"2008-09-02T12:18:05Z","timestamp":1220357885000},"page":"365-392","source":"Crossref","is-referenced-by-count":3,"title":["Probabilistic algorithms for computing resolvent representations of regular differential ideals"],"prefix":"10.1007","volume":"19","author":[{"given":"Thomas","family":"Cluzeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evelyne","family":"Hubert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,9,3]]},"reference":[{"key":"79_CR1","doi-asserted-by":"crossref","unstructured":"Alonso, M.-E., Becker, E., Roy, M.-F., W\u00f6rmann, T.: Zeros, multiplicities, and idempotents for zero-dimensional systems. In Algorithms in Algebraic Geometry and Applications (Santander, 1994), pp. 1\u201315. Birkh\u00e4user, Basel (1996)","DOI":"10.1007\/978-3-0348-9104-2_1"},{"issue":"1\u20132","key":"79_CR2","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(1\u20132), 105\u2013124 (1999)","journal-title":"J. Symbolic Comput."},{"key":"79_CR3","doi-asserted-by":"crossref","unstructured":"Becker, E., Marinari, M., Mora, T., Traverso, C.: The shape of the shape lemma. In: ISSAC\u201994, pp. 129\u2013133. ACM Press, New York (1994)","DOI":"10.1145\/190347.190382"},{"key":"79_CR4","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/BF02547522","volume":"54","author":"G.D. Birkhoff","year":"1930","unstructured":"Birkhoff G.D.: Formal theory of irregular linear difference equations. Acta Math. 54, 205\u2013246 (1930)","journal-title":"Acta Math."},{"key":"79_CR5","unstructured":"Boulier, F.: Efficient computation of regular differential systems by change of rankings using K\u00e4ler differentials. Technical Report LIFL 1999-14, LIFL, Universit\u00e9 de Lille (1999)"},{"key":"79_CR6","unstructured":"Boulier, F., Hubert, E.: diffalg, a maple package. Description, help pages and examples of use. Symbolic Computation Group, University of Waterloo, Ontario, Canada, 1998. http:\/\/www-sop.inria.fr\/cafe\/Evelyne.Hubert\/webdiffalg"},{"key":"79_CR7","first-page":"158","volume-title":"ISSAC\u201995","author":"F. Boulier","year":"1995","unstructured":"Boulier F., Lazard D., Ollivier F., Petitot M.: Representation for the radical of a finitely generated differential ideal. In: Levelt A.H.M., (eds) ISSAC\u201995, pp. 158\u2013166. ACM Press, New York (1995)"},{"key":"79_CR8","unstructured":"Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Computing representations for radicals of finitely generated differential ideals. Technical Report IT-306, LIFL, 1997. Revised version available at http:\/\/www.lifl.fr\/~boulier"},{"key":"79_CR9","doi-asserted-by":"crossref","unstructured":"Boulier, F., Lemaire, F., Moreno Maza, M.: Pardi! In: Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, pp. 38\u201347 (electronic). ACM, New York (2001)","DOI":"10.1145\/384101.384108"},{"issue":"6","key":"79_CR10","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.: Unmixed-dimensional decomposition of a finitely generated perfect differential ideal. J. Symbolic Comput. 31(6), 631\u2013649 (2001)","journal-title":"J. Symbolic Comput."},{"key":"79_CR11","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF00881834","volume":"10","author":"S.-C. Chou","year":"1993","unstructured":"Chou S.-C., Gao X.-S.: Automated reasonning in differential geometry and mechanics using the characteristic set method. Part I. An improved version of Ritt\u2013Wu\u2019s decomposition algorithm. J. Autom. Reasonning 10, 161\u2013172 (1993)","journal-title":"J. Autom. Reasonning"},{"key":"79_CR12","unstructured":"Churchill, R.C., Kovacic, J.J.: Cyclic vectors. In: Guo, L., Keigher, W.F., Cassidy, P.J., Sit, W.Y. (eds.) Differential Algebra and Related Topics. World Scientific, Singapore (2000). Proceedings of the international workshop at Rutgers University at Newark, USA 2\u20133 November 2000"},{"key":"79_CR13","unstructured":"Cluzeau, T., Hubert, E.: Resolvent representation for regular differential ideals. Technical Report RR-4200, INRIA Sophia Antipolis. http:\/\/www.inria.fr\/rrrt\/rr-4200.html (2001)"},{"issue":"5","key":"79_CR14","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/s00200-002-0110-4","volume":"13","author":"T. Cluzeau","year":"2003","unstructured":"Cluzeau T., Hubert E.: Resolvent representation for regular differential ideals. Appl. Algebra Eng. Commun. Comput. 13(5), 395\u2013425 (2003)","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"79_CR15","volume-title":"Difference Algebra, vol. XIV","author":"R. Cohn","year":"1965","unstructured":"Cohn R.: Difference Algebra, vol. XIV. Interscience Publishers, New York (1965)"},{"key":"79_CR16","doi-asserted-by":"crossref","first-page":"130","DOI":"10.2307\/2371061","volume":"58","author":"F.T. Cope","year":"1956","unstructured":"Cope F.T.: Formal solution of irregular linear differential equations. Part II. Am. J. Math. 58, 130\u2013146 (1956)","journal-title":"Am. J. Math."},{"issue":"3","key":"79_CR17","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1016\/j.jco.2005.10.002","volume":"22","author":"L. D\u2019Alfonso","year":"2006","unstructured":"D\u2019Alfonso L., Jeronimo G., Solern\u00f3 P.: On the complexity of the resolvent representation of some prime differential ideals. J. Complexity 22(3), 396\u2013430 (2006)","journal-title":"J. Complexity"},{"key":"79_CR18","doi-asserted-by":"crossref","unstructured":"Gao, X.S., Yuan, C.-M.: Resolvent systems of difference polynomial ideals. In: ISSAC\u201906, pp. 101\u2013108. ACM, New York (2006)","DOI":"10.1145\/1145768.1145790"},{"key":"79_CR19","volume-title":"Modern Computer Algebra","author":"Gathen zur J. von","year":"1999","unstructured":"von zur J. Gathen, Gerhard J.: Modern Computer Algebra. Cambridge University Press, New York (1999)"},{"key":"79_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-8176-4771-1","volume-title":"Discriminants, Resultants, and Multidimensional Determinants. Mathematics: Theory and Applications","author":"I.M. Gelfand","year":"1994","unstructured":"Gelfand I.M., Kapranov M.M., Zelevinsky A.V.: Discriminants, Resultants, and Multidimensional Determinants. Mathematics: Theory and Applications. Birkh\u00e4user, Boston (1994)"},{"key":"79_CR21","doi-asserted-by":"crossref","unstructured":"Gianni, P., Mora, T.: Algebraic solution of systems of polynomial equations using Gr\u00f6bner bases. In: Applied Algebra Algorithms and Error Correcting Codes, AAECC-5. Lecture Notes in Computer Science, vol. 356, pp. 247\u2013257. Springer, Berlin (1989)","DOI":"10.1007\/3-540-51082-6_83"},{"key":"79_CR22","doi-asserted-by":"crossref","unstructured":"Giusti, M., Heintz, J.: Algorithmes\u2014disons rapides\u2014pour la d\u00e9composition d\u2019une vari\u00e9t\u00e9 alg\u00e9brique en composantes irr\u00e9ductibles et \u00e9quidimensionnelles. In: Effective Methods in Algebraic Geometry (Castiglioncello, 1990), pp. 169\u2013194. Birkh\u00e4user, Boston (1991)","DOI":"10.1007\/978-1-4612-0441-1_11"},{"key":"79_CR23","unstructured":"Giusti, M., Heintz, J.: La d\u00e9termination des points isol\u00e9s et de la dimension d\u2019une vari\u00e9t\u00e9 alg\u00e9brique peut se faire en temps polynomial. In: Computational Algebraic Geometry and Commutative Algebra (Cortona, 1991), pp. 216\u2013256. Cambridge University Press, Cambridge (1993)"},{"issue":"1","key":"79_CR24","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1006\/jcom.2000.0571","volume":"17","author":"M. Giusti","year":"2001","unstructured":"Giusti M., Lecerf G., Salvy B.: A Gr\u00f6bner free alternative for polynomial system solving. J. Complexity 17(1), 154\u2013211 (2001)","journal-title":"J. Complexity"},{"key":"79_CR25","unstructured":"Golubitsky, O.: Gr\u00f6bner walk for characteristic sets of prime differential ideals. In: Ganzha, V., Mayr, E., Vorozhotsov, E. (eds.) Proceedings 7th workshop on Computer Algebra in Scientific Computing (2004)"},{"issue":"8","key":"79_CR26","doi-asserted-by":"crossref","first-page":"582","DOI":"10.1016\/j.jsc.2007.12.002","volume":"43","author":"O. Golubitsky","year":"2008","unstructured":"Golubitsky O., Kondratieva M.V., Moreno Maza M., Ovchinnikov A.: A bound for Rosenfeld\u2013Groebner algorithm. J. Symbolic Comput. 43(8), 582\u2013610 (2008)","journal-title":"J. Symbolic Comput."},{"key":"79_CR27","doi-asserted-by":"crossref","unstructured":"Golubitsky, O., Kondratieva, M.V., Ovchinnikov, A.: Algebraic transformation of differential characteristic decompositions from one ranking to another. J. Symbolic Comput. (2008, to appear)","DOI":"10.1016\/j.jsc.2008.07.002"},{"issue":"3","key":"79_CR28","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0304-3975(83)90002-6","volume":"24","author":"J. Heintz","year":"1983","unstructured":"Heintz J.: Definability and fast quantifier elimination in algebraically closed fields. Theor. Comput. Sci 24(3), 239\u2013277 (1983)","journal-title":"Theor. Comput. Sci"},{"issue":"4\u20135","key":"79_CR29","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1006\/jsco.1999.0319","volume":"28","author":"E. Hubert","year":"1999","unstructured":"Hubert E.: Essential components of an algebraic differential equation. J. Symbolic Comput. 28(4\u20135), 657\u2013680 (1999)","journal-title":"J. Symbolic Comput."},{"issue":"4\u20135","key":"79_CR30","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1006\/jsco.1999.0344","volume":"29","author":"E. Hubert","year":"2000","unstructured":"Hubert E.: Factorisation free decomposition algorithms in differential algebra. J. Symbolic Comput. 29(4\u20135), 641\u2013662 (2000)","journal-title":"J. Symbolic Comput."},{"key":"79_CR31","first-page":"1","volume-title":"Symbolic and Numerical Scientific Computing. Lecture Notes in Computer Science, vol. 2630","author":"E. Hubert","year":"2003","unstructured":"Hubert E.: Notes on triangular sets and triangulation-decomposition algorithms I: Polynomial systems. In: Winkler, F., Langer, U.(eds) Symbolic and Numerical Scientific Computing. Lecture Notes in Computer Science, vol. 2630, pp. 1\u201339. Springer, Heidelberg (2003)"},{"key":"79_CR32","first-page":"40","volume-title":"Symbolic and Numerical Scientific Computing. Lecture Notes in Computer Science, vol. 2630","author":"E. Hubert","year":"2003","unstructured":"Hubert E.: Notes on triangular sets and triangulation-decomposition algorithms II: Differential systems. In: Winkler, F., Langer, U.(eds) Symbolic and Numerical Scientific Computing. Lecture Notes in Computer Science, vol. 2630, pp. 40\u201387. Springer, Heidelberg (2003)"},{"key":"79_CR33","doi-asserted-by":"crossref","unstructured":"Hubert, E.: Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases. In: ISSAC 2004, pp. 191\u2013198. ACM press, New York (2004)","DOI":"10.1145\/1005285.1005314"},{"issue":"1","key":"79_CR34","doi-asserted-by":"crossref","first-page":"65","DOI":"10.2307\/2374551","volume":"109","author":"N.M. Katz","year":"1987","unstructured":"Katz N.M.: A simple algorithm for cyclic vectors. Am. J. Math. 109(1), 65\u201370 (1987)","journal-title":"Am. J. Math."},{"key":"79_CR35","volume-title":"Differential Algebra and Algebraic Groups. Pure and Applied Mathematics, vol. 54","author":"E.R. Kolchin","year":"1973","unstructured":"Kolchin E.R.: Differential Algebra and Algebraic Groups. Pure and Applied Mathematics, vol. 54. Academic Press, New York (1973)"},{"key":"79_CR36","doi-asserted-by":"crossref","unstructured":"Krick, T.: Straight-line programs in polynomial equation solving. In: Foundations of Computational Mathematics: Minneapolis, 2002, London Math. Soc. Lecture Note Ser., vol. 312, pp. 96\u2013136. Cambridge University Press, Cambridge (2004)","DOI":"10.1017\/CBO9781139106962.006"},{"key":"79_CR37","unstructured":"Ollivier, F.: Le probl\u00e8me de l\u2019identifiabillit\u00e9 structurelle globale: approche th\u00e9orique, m\u00e9thodes effectives et bornes de complexit\u00e9. Ph.D. thesis, \u00c9cole polytechnique (1990)"},{"key":"79_CR38","doi-asserted-by":"crossref","unstructured":"Ritt, J.F.: Differential Algebra. Colloquium Publications, vol. XXXIII. American Mathematical Society, New York (1950). Reprinted by Dover, New York (1966)","DOI":"10.1090\/coll\/033"},{"key":"79_CR39","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. Am. Math. Soc. 90, 394\u2013407 (1959)","journal-title":"Trans. Am. Math. Soc."},{"issue":"5","key":"79_CR40","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/s002000050114","volume":"9","author":"F. Rouillier","year":"1999","unstructured":"Rouillier F.: Solving zero-dimensional systems through the rational univariate representation. Appl. Algebra Eng. Commun. Comput. 9(5), 433\u2013461 (1999)","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"issue":"3","key":"79_CR41","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s002000050128","volume":"10","author":"B. Sadik","year":"2000","unstructured":"Sadik B.: A bound for the order of characteristic set elements of an ordinary prime differential ideal and some applications. Appl. Algebra Eng. Commun. Comput. 10(3), 251\u2013268 (2000)","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"79_CR42","unstructured":"Schost, E.: Sur la r\u00e9solution des syst\u00e8mes polynomiaux \u00e0 param\u00e8tres. Ph.D. thesis, \u00c9cole polytechnique (2000)"},{"issue":"4","key":"79_CR43","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1145\/322217.322225","volume":"27","author":"J.T. Schwartz","year":"1980","unstructured":"Schwartz J.T.: Fast probabilistic algorithms for verification of polynomial identities. J. ACM 27(4), 701\u2013717 (1980)","journal-title":"J. ACM"},{"key":"79_CR44","first-page":"174","volume":"73","author":"A. Seidenberg","year":"1952","unstructured":"Seidenberg A.: Some basic theorems in differential algebra (characteristic p, arbitrary). Trans. Am. Math. Soc. 73, 174\u2013190 (1952)","journal-title":"Trans. Am. Math. Soc."},{"key":"79_CR45","doi-asserted-by":"crossref","unstructured":"Shafarevich, I.R.: Basic algebraic geometry. Springer, New York (1974). Translated from the Russian by K. A. Hirsch, Die Grundlehren der mathematischen Wissenschaften, Band 213","DOI":"10.1007\/978-3-642-96200-4"},{"issue":"3","key":"79_CR46","first-page":"216","volume":"9","author":"D. Wang","year":"1996","unstructured":"Wang D.: An elimination method for differential polynomial systems. I. Syst. Sci. Math. Sci. 9(3), 216\u2013228 (1996)","journal-title":"I. Syst. Sci. Math. Sci."},{"key":"79_CR47","doi-asserted-by":"crossref","unstructured":"Zippel, R.: Probabilistic algorithms for sparse polynomials. In: EUROSAM. Lecture Notes in Computer Sciences, vol. 72. Springer, Berlin (1979)","DOI":"10.1007\/3-540-09519-5_73"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-008-0079-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00200-008-0079-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-008-0079-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:24:21Z","timestamp":1558625061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00200-008-0079-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,3]]},"references-count":47,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2008,10]]}},"alternative-id":["79"],"URL":"https:\/\/doi.org\/10.1007\/s00200-008-0079-8","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9,3]]}}}