{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T13:33:32Z","timestamp":1762781612559},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642155819"},{"type":"electronic","value":"9783642155826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15582-6_7","type":"book-chapter","created":{"date-parts":[[2010,9,10]],"date-time":"2010-09-10T05:15:44Z","timestamp":1284095744000},"page":"35-41","source":"Crossref","is-referenced-by-count":15,"title":["The Dynamic Dictionary of Mathematical Functions (DDMF)"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Benoit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Chyzak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexis","family":"Darrasse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Gerhold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Mezzarobba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Salvy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"#cr-split#-7_CR1.1","unstructured":"Abramowitz, M., Stegun, I.A. (eds.): Handbook of mathematical functions with formulas, graphs, and mathematical tables. Dover Publications Inc., New York (1992);"},{"key":"#cr-split#-7_CR1.2","unstructured":"Reprint of the 1972 edition. First edition 1964"},{"key":"#cr-split#-7_CR2.1","doi-asserted-by":"crossref","unstructured":"Benoit, A., Salvy, B.: Chebyshev expansions for solutions of linear differential equations. In: May, J. (ed.) Symbolic and Algebraic Computation, pp. 23\u201330. ACM Press, New York (2009);","DOI":"10.1145\/1576702.1576709"},{"key":"#cr-split#-7_CR2.2","unstructured":"Proceedings of ISSAC 2009, Seoul (July 2009)"},{"key":"7_CR3","first-page":"135","volume-title":"A Century of Excellence in Measurements Standards and Technology","author":"R. Boisvert","year":"2001","unstructured":"Boisvert, R., Lozier, D.W.: Handbook of Mathematical Functions. In: A Century of Excellence in Measurements Standards and Technology, pp. 135\u2013139. CRC Press, Boca Raton (2001)"},{"key":"7_CR4","series-title":"London Mathematical Society Lecture Notes Series","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1017\/CBO9780511565847.004","volume-title":"Groebner Bases and Applications, Proc. of the Conference 33 Years of Gr\u00f6bner Bases","author":"F. Chyzak","year":"1998","unstructured":"Chyzak, F.: Groebner bases, symbolic summation and symbolic integration. In: Buchberger, B., Winkler, F. (eds.) Groebner Bases and Applications, Proc. of the Conference 33 Years of Gr\u00f6bner Bases. London Mathematical Society Lecture Notes Series, vol.\u00a0251, pp. 32\u201360. Cambridge University Press, Cambridge (1998)"},{"issue":"1-3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0012-365X(99)00259-9","volume":"217","author":"F. Chyzak","year":"2000","unstructured":"Chyzak, F.: An extension of Zeilberger\u2019s fast algorithm to general holonomic functions. Discrete Mathematics\u00a0217(1-3), 115\u2013134 (2000)","journal-title":"Discrete Mathematics"},{"key":"#cr-split#-7_CR6.1","doi-asserted-by":"crossref","unstructured":"Chyzak, F., Kauers, M., Salvy, B.: A non-holonomic systems approach to special function identities. In: May, J. (ed.) Symbolic and Algebraic Computation, pp. 111\u2013118. ACM Press, New York (2009);","DOI":"10.1145\/1576702.1576720"},{"key":"#cr-split#-7_CR6.2","unstructured":"Proceedings of ISSAC 2009, Seoul (July 2009)"},{"key":"#cr-split#-7_CR7.1","unstructured":"Erd\u00e9lyi, A.: Higher Transcendental Functions, vol.\u00a01-3. R. E. Krieger Publishing Company, Inc., Malabar (1981);"},{"key":"#cr-split#-7_CR7.2","unstructured":"First edition 1953"},{"key":"#cr-split#-7_CR8.1","unstructured":"Gradshteyn, I.S., Ryzhik, I.M.: Table of Integrals, Series, and Products. Academic Press, London (1996);"},{"key":"#cr-split#-7_CR8.2","unstructured":"First English edition 1965"},{"issue":"2","key":"7_CR9","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0021-8693(89)90222-6","volume":"122","author":"L. Lipshitz","year":"1989","unstructured":"Lipshitz, L.: D-finite power series. Journal of Algebra\u00a0122(2), 353\u2013373 (1989)","journal-title":"Journal of Algebra"},{"key":"7_CR10","first-page":"199","volume-title":"Symbolic and Algebraic Computation","author":"L. Meunier","year":"2003","unstructured":"Meunier, L., Salvy, B.: ESF: An automatically generated encyclopedia of special functions. In: Sendra, J.R. (ed.) Symbolic and Algebraic Computation, pp. 199\u2013205. ACM Press, New York (2003); Proceedings of ISSAC 2003, Philadelphia (August 2003)"},{"key":"7_CR11","volume-title":"ISSAC 2010","author":"M. Mezzarobba","year":"2010","unstructured":"Mezzarobba, M.: NumGfun: a package for numerical and analytic computation with D-finite functions. In: ISSAC 2010. ACM Press, New York (2010), http:\/\/arxiv.org\/abs\/1002.3077"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Mezzarobba, M., Salvy, B.: Effective bounds for P-recursive sequences. Journal of Symbolic Computation (to appear)","DOI":"10.1016\/j.jsc.2010.06.024"},{"volume-title":"NIST Handbook of Mathematical Functions","year":"2010","key":"7_CR13","unstructured":"Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W. (eds.): NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge (2010)"},{"issue":"2-3","key":"7_CR14","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0747-7171(92)90038-6","volume":"14","author":"M. Petkov\u0161ek","year":"1992","unstructured":"Petkov\u0161ek, M.: Hypergeometric solutions of linear recurrences with polynomial coefficients. Journal of Symbolic Computation\u00a014(2-3), 243\u2013264 (1992)","journal-title":"Journal of Symbolic Computation"},{"key":"7_CR15","unstructured":"Prudnikov, A.P., Brychkov, Y.A., Marichev, O.I.: Integrals and Series, 1st edn. in Moscow, Nauka, vol.\u00a01-6 (1981)"},{"issue":"2","key":"7_CR16","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1145\/178365.178368","volume":"20","author":"B. Salvy","year":"1994","unstructured":"Salvy, B., Zimmermann, P.: Gfun: a Maple package for the manipulation of generating and holonomic functions in one variable. ACM Transactions on Mathematical Software\u00a020(2), 163\u2013177 (1994)","journal-title":"ACM Transactions on Mathematical Software"},{"issue":"2","key":"7_CR17","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S0195-6698(80)80051-5","volume":"1","author":"R.P. Stanley","year":"1980","unstructured":"Stanley, R.P.: Differentiably finite power series. European Journal of Combinatorics\u00a01(2), 175\u2013188 (1980)","journal-title":"European Journal of Combinatorics"},{"issue":"3","key":"7_CR18","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0377-0427(90)90042-X","volume":"32","author":"D. Zeilberger","year":"1990","unstructured":"Zeilberger, D.: A holonomic systems approach to special functions identities. Journal of Computational and Applied Mathematics\u00a032(3), 321\u2013368 (1990)","journal-title":"Journal of Computational and Applied Mathematics"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15582-6_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:10:21Z","timestamp":1606169421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15582-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642155819","9783642155826"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15582-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}