{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:50Z","timestamp":1725664250198},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601142"},{"type":"electronic","value":"9783540494409"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60114-7_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:42:50Z","timestamp":1330260170000},"page":"393-407","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Testing identities of series defined by algebraic partial differential equations"],"prefix":"10.1007","author":[{"given":"Ariane","family":"P\u00e9ladan-Germa","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"unstructured":"F. Boulier, \u00c9tude et implantation de quelques algorithmes en alg\u00e8bre diff\u00e9rentielle, Th\u00e8se de l'universit\u00e9 de Lille (Ph. D. Thesis), avril 1994.","key":"30_CR1"},{"unstructured":"F. Boulier, D. Lazard, F. Ollivier, M. Petitot, Representation for the radical of a finitely generated differential ideal, To appear in the proceedings of ISSAC'95.","key":"30_CR2"},{"key":"30_CR3","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF01579200","volume":"273","author":"J. Denef","year":"1984","unstructured":"J. Denef and L. Lipshitz, Power series solutions of algebraic differential equations, Mathematische annalen, 273, 213\u2013238 (1984)","journal-title":"Mathematische annalen"},{"doi-asserted-by":"crossref","unstructured":"J. Denef and L. Lipshitz, Decision problems for differential equations, The Journal of Symbolic Logic 54, Number 3, September 1989","key":"30_CR4","DOI":"10.2307\/2274755"},{"unstructured":"M. Janet, Syst\u00e8mes d'\u00e9quations aux d\u00e9riv\u00e9es partielles, J. de Maths, 8e s\u00e9rie, tome 3, 1920.","key":"30_CR5"},{"unstructured":"I. Kaplanski, An introduction to differential algebra, Hermann 1976, second edition.","key":"30_CR6"},{"unstructured":"Kolchin, Differential algebra and algebraic groups, Academic Press 1973","key":"30_CR7"},{"doi-asserted-by":"crossref","unstructured":"J.F. Ritt, Differential Algebra, AMS coll. Publications 1950 (or Dover, 1966)","key":"30_CR8","DOI":"10.1090\/coll\/033"},{"key":"30_CR9","volume-title":"Les syst\u00e8mes d'\u00e9quations aux d\u00e9riv\u00e9es partielles","author":"Riquier","year":"1910","unstructured":"Riquier, Les syst\u00e8mes d'\u00e9quations aux d\u00e9riv\u00e9es partielles, Gauthier-Villars, Paris, 1910."},{"key":"30_CR10","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1090\/S0002-9947-1959-0107642-2","volume":"90","author":"A. Rosenfeld","year":"1959","unstructured":"A. Rosenfeld, Specializations in differential algebra, Trans. of AMS, Vol. 90 (1959), pp 394\u2013407.","journal-title":"Trans. of AMS"},{"key":"30_CR11","volume-title":"The complexity of formal resolution of linear partial differential equations","author":"B. Sadik","year":"1995","unstructured":"B. Sadik, The complexity of formal resolution of linear partial differential equations, Preprint of the University Semlalia, Marrakech, Morocco, 1995."},{"key":"30_CR12","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/74540.74542","volume-title":"Proceedings of Issac 89","author":"J. Shackell","year":"1989","unstructured":"J. Shackell, A differential equations approach to functional equivalence, Proceedings of Issac 89 (G. Gonnet, ed.), A.C.M. Press, Portland, Oregon, 1989, pp. 7\u201310."},{"doi-asserted-by":"crossref","unstructured":"J. Shackell, Zero-equivalence in function fields defined by algebraic differential equations, Trans. of the AMS, Vol. 336, Number 1, pp 151\u2013171","key":"30_CR13","DOI":"10.1090\/S0002-9947-1993-1088022-2"},{"key":"30_CR14","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/BF02100618","volume":"108","author":"H. Wilf","year":"1992","unstructured":"H. Wilf and D. Zeilberger, An algorithmic proof theory for hypergeometric (ordinary and \u201cq\u201d) multisum\/integral identities, Inventiones Mathematicae, Vol 108, pp 575\u2013633 (1992)","journal-title":"Inventiones Mathematicae"},{"key":"30_CR15","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0377-0427(90)90042-X","volume":"32","author":"D. Zeilberger","year":"1990","unstructured":"D. Zeilberger, A holonomic systems approach to special functions identities, J. of Computational and Applied Math. 32, pp321\u2013368 (1990)","journal-title":"J. of Computational and Applied Math."}],"container-title":["Lecture Notes in Computer Science","Applied Algebra, Algebraic Algorithms and Error-Correcting Codes"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60114-7_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:35:33Z","timestamp":1558254933000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60114-7_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601142","9783540494409"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-60114-7_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}