{"entities":{"Q413409":{"pageid":415176,"ns":120,"title":"Item:Q413409","lastrevid":56892309,"modified":"2026-03-24T12:20:25Z","type":"item","id":"Q413409","labels":{"en":{"language":"en","value":"The extended Zeilberger algorithm with parameters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6031086"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$6AC2A066-0BD0-4421-B514-14270BB3B175","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f2da6375fc8a46f5e7f0d83ec836d29ec4d4ffd","datavalue":{"value":{"text":"The extended Zeilberger algorithm with parameters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q413409$5B57F79F-300B-46F0-A5D4-7D82BD4D575F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7d6b145ed8d94dd56dd92f64fb13bd81997a43b","datavalue":{"value":"1305.33035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413409$D1045FE1-EA42-413F-A27A-31365E6FE27F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a582541685dbe73700c677a5353d7c40edc58c","datavalue":{"value":{"entity-type":"item","numeric-id":214543,"id":"Q214543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$5C41791F-C64B-4FF7-AEB5-8AE798C99478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa39011b1152aaf980a7c0c863712fb3118f2786","datavalue":{"value":{"entity-type":"item","numeric-id":282989,"id":"Q282989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$65360978-AB8A-4A60-9290-4F9C5A53CA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0ac4f8b2ee1055710735b1fac20073379b711bb","datavalue":{"value":{"entity-type":"item","numeric-id":413408,"id":"Q413408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$C89A6321-385A-435F-8AC0-B6533EF560A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$BE8132B1-E949-4B1C-BAD1-D0B4A21875BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7a1c120dc379e55cc80f89048abc2e9af9a7f71","datavalue":{"value":{"time":"+2012-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q413409$ED4203AB-CC93-415C-B9F1-26A433EB582A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0b0111ef8c23b7360ddc268dd2af3cd8dd54cc2","datavalue":{"value":"https://arxiv.org/abs/0908.1328","type":"string"},"datatype":"url"},"type":"statement","id":"Q413409$B971E7C2-EA14-4663-AD3E-FB77B5BBB059","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6bb87f01556e8e8377a2662d6d1ec0884c79e1a","datavalue":{"value":{"entity-type":"item","numeric-id":308965,"id":"Q308965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$62281D76-3AFC-481D-A3B6-02B04F248AA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42de9321ec9bffe9bd1dcf8c8689a504914f3754","datavalue":{"value":"33F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413409$CECB4268-2B40-4757-B57E-14A39BE39D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0582a11cd91bee5fb0e516ec28b7e777c918d03b","datavalue":{"value":"33C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413409$760B3713-2311-42DF-86F4-4462631BEB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3538421f4f75b8ec02d06a739287610f004132ce","datavalue":{"value":"33C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413409$651859DA-4AB7-477D-AC72-F2AAA4D3D2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67f82d05d536127c774077d55aec4ca53f83fd2a","datavalue":{"value":"33D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413409$E4028115-2EC6-40C2-97FD-E0026358BC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85b8cfb909426193d3cad8b4952c2250c72532ea","datavalue":{"value":"33D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413409$CCAF6D92-8939-4CF7-A5D3-19465C5251F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413409$CCA277CE-6FB4-4E83-9F26-26ACDE34B810","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41b3dee061f49976c3b27ed8fed3421d884d267a","datavalue":{"value":"6031086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413409$68B708F0-6A7F-44AA-948F-ECBF4A73E729","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b56e395a462378e6a23bcf12f58c58bde072f4af","datavalue":{"value":"symbolic summation","type":"string"},"datatype":"string"},"type":"statement","id":"Q413409$BABB3A22-E614-4050-824F-BB237BAD9A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc148c45f8a133fadf92260f0123771cbb8a69c","datavalue":{"value":"Zeilberger's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q413409$8F4BA3A1-3ABE-47C9-8FAF-CE332E93447F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a2adb78a7e9d0ee11c60a036ba2de46bd0d1a1e","datavalue":{"value":"Gosper's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q413409$A76C521D-05C4-420E-805D-F8E343F7D2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001a4bfab4cc1e147ed731e59dda9af07a97c548","datavalue":{"value":"hypergeometric series","type":"string"},"datatype":"string"},"type":"statement","id":"Q413409$69E2DCA0-D31D-4915-B98E-E506B6A4AC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a41e1dbcad6d9f1bee6da7b1ba4d857ebc56471","datavalue":{"value":"orthogonal polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q413409$C1AF6C1D-A867-4942-9C45-7AF7107626D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e69b4c740fe9b799587c54338f01c650ba0961a","datavalue":{"value":{"entity-type":"item","numeric-id":13518,"id":"Q13518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$7F82B0A4-1CB9-4FCF-971C-3EE7EF46C1FD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$A0E4F525-1F05-4E0E-AE9A-AD3C03BC5FF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"679a64d02f0a0af17afd03c1bace15a86f0ccd1a","datavalue":{"value":"W1986292888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413409$5C6D0A29-76AC-474A-9CAC-4E69733622C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b1bab528bd6e3520ec08d77f43d5fe4bde5ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1918898,"id":"Q1918898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$5403B31C-9359-4A6D-9AAF-374DEBA6E15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5901201df6d5edd641d27e34382d658224e178c4","datavalue":{"value":{"entity-type":"item","numeric-id":1584472,"id":"Q1584472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$EDA6CE2A-EBE5-4452-B114-F7AFA1327CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edfcf5c73bf25876500f0c5a0badbb6a26454de8","datavalue":{"value":{"entity-type":"item","numeric-id":1971738,"id":"Q1971738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$39E62C3A-D7D8-447D-8B0D-457CA5445AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5b26c10ef134c043039648e3becf135978ca111","datavalue":{"value":{"entity-type":"item","numeric-id":1026880,"id":"Q1026880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$17053F96-B279-475A-A64F-4F365EB7257C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4bb4e997b765a665d210b85eab2f272bc1ba9b3","datavalue":{"value":{"entity-type":"item","numeric-id":1978177,"id":"Q1978177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$7857B1C9-6A1F-4B0A-AB0E-216FD9064125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09869185cb34b7c6e965eb597f0621f6bc5b16bd","datavalue":{"value":{"entity-type":"item","numeric-id":4040884,"id":"Q4040884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$40F30339-D4D1-47F4-8B43-AA457651917A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff4671f2bd3d67b63595a6ce8e3b37ad636cd58","datavalue":{"value":{"entity-type":"item","numeric-id":4164353,"id":"Q4164353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$F0B569E5-5602-44A9-8955-42820ADB1C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f89a6e69ca8bd1033b672532eff3510a04642b4","datavalue":{"value":{"entity-type":"item","numeric-id":3957938,"id":"Q3957938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$52CE5C55-1B34-4365-8F2E-CDF730BF6E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e298b94223cc54317bab0a14433b685050ccf5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1392783,"id":"Q1392783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$C436B027-9B0C-4F00-BE38-92AF63109FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"260da2bae15d86607fe206c4afbb3b6d7f8a8af8","datavalue":{"value":{"entity-type":"item","numeric-id":4341407,"id":"Q4341407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$F8430DF0-C580-48A6-A628-A568294C7734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d490f68c5993bb95ded5c2144d80513f5b4d726","datavalue":{"value":{"entity-type":"item","numeric-id":4260859,"id":"Q4260859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$0D39E861-0F59-4266-83FE-58897150DC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1381cbe866187de4d721c60659209229f95608","datavalue":{"value":{"entity-type":"item","numeric-id":5317727,"id":"Q5317727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$60C99CB5-F33C-4036-A2F8-61BAF60894DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b90f86fe8d09763fca1421da1eabdf755d7afa2","datavalue":{"value":{"entity-type":"item","numeric-id":811594,"id":"Q811594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$C934A33B-D930-4A40-A9C5-372516A74B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce15a5923a5f5ce099b52f8f5d9db30864cbbae2","datavalue":{"value":{"entity-type":"item","numeric-id":1176785,"id":"Q1176785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413409$846AE921-B29D-4683-B330-8F3134ED47C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1239c67a1e4a1de749973128204e3b9e082e06c4","datavalue":{"value":"10.1016/J.JSC.2011.12.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413409$95C1A590-378C-4D68-B43D-D50B33D97E07","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4acdc7bd1593e9309b2487e8422b2258fed6dd76","datavalue":{"value":"Zeilberger's algorithm is a classic method in symbolic summation: for a sum with proper hypergeometric summands \\(f(n,k)\\), it derives a linear recurrence relation with polynomial coefficients. Stated differently, it solves the following telescoping problem: find rational functions \\(a_0(n),\\dots,a_m(n)\\) and a hypergeometric term \\(g(n,k)\\) such that NEWLINE\\[NEWLINEa_0(n)f(n,k) + a_1(n)f(n+1,k) + \\dots + a_m(n)f(n+m,k) = g(n,k+1) - g(n,k).NEWLINE\\]NEWLINE The hypergeometric nature of~\\(f\\) implies that all terms appearing on the left-hand side are pairwise similar (i.e., their quotient is a rational function in \\(n\\) and~\\(k\\)).NEWLINENEWLINEIn the present paper, the authors extend Zeilberger's algorithm to solve the more general telescoping problem NEWLINE\\[NEWLINEa_0(n)f_0(n,k) + a_1(n)f_1(n,k) + \\dots + a_m(n)f_m(n,k) = g(n,k+1) - g(n,k)NEWLINE\\]NEWLINE where \\(f_0,\\dots,f_m\\) are arbitrary, but pairwise similar hypergeometric terms. Previously, algorithms had been developed to solve such kinds of telescoping problems, but in more general contexts, e.g., in difference fields, or for multivariate holonomic functions. The algorithm can be easily adapted to the situation where the ground field contains some parameters, which one wants to prevent from appearing in the coefficients \\(a_0,\\dots,a_m\\). The same ideas apply to basic (i.e., \\(q\\)-) hypergeometric terms. The paper concludes with an extensive list of examples: it is demonstrated how the algorithm can be applied to find linear relations among (basic) orthogonal polynomials and to derive multivariate recurrence equations for (basic) hypergeometric sums.","type":"string"},"datatype":"string"},"type":"statement","id":"Q413409$5C3566FB-AEA3-42E5-947D-716F455DDE3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f23af311752137feffd056027be4d9548d5f792d","datavalue":{"value":{"entity-type":"item","numeric-id":1914168,"id":"Q1914168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91fac12e9a6b13d31d461d799310c556bd12d04","datavalue":{"value":{"amount":"+0.8715046644210815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q413409$555596FD-C138-47DD-8B16-CE48CFCF3E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8bb7a2a28086dda24605e1cbf675d05470a9520","datavalue":{"value":{"entity-type":"item","numeric-id":2456539,"id":"Q2456539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91fac12e9a6b13d31d461d799310c556bd12d04","datavalue":{"value":{"amount":"+0.8715046644210815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q413409$422D7552-D444-432C-A71E-23AF7BC822B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5338efd44a58803493ed38e0d84ecc577dfbe15","datavalue":{"value":{"entity-type":"item","numeric-id":1978177,"id":"Q1978177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6253853719c91c37a4bef5098bb7b21265b2ad53","datavalue":{"value":{"amount":"+0.8353185653686523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q413409$E5B2EB6C-94AA-4BFA-AAC1-E088ED3CF4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6a1a965433f45847b273fc3dac77e885d28575","datavalue":{"value":{"entity-type":"item","numeric-id":4502525,"id":"Q4502525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6253853719c91c37a4bef5098bb7b21265b2ad53","datavalue":{"value":{"amount":"+0.8353185653686523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q413409$50EE1DEB-6E09-4A68-8341-2C6306EC0A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8098e5b44c775b00e7e3b343d304784c60c84c","datavalue":{"value":{"entity-type":"item","numeric-id":2474260,"id":"Q2474260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3044515daf51bead63ee64428dd252639a3cf97c","datavalue":{"value":{"amount":"+0.8083438277244568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q413409$FB71B359-A176-439A-B0BD-6FCD392B791C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:413409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:413409"}}}}}