{"entities":{"Q1978177":{"pageid":1988919,"ns":120,"title":"Item:Q1978177","lastrevid":46898322,"modified":"2025-12-25T19:49:00Z","type":"item","id":"Q1978177","labels":{"en":{"language":"en","value":"An extension of Zeilberger's fast algorithm to general holonomic functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1453348"}},"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":"Q1978177$7F129699-C599-4611-A9B1-8786311942AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0451077b627b0d6bb47cfc5388d0a88601202c54","datavalue":{"value":{"text":"An extension of Zeilberger's fast algorithm to general holonomic functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1978177$37E01F33-9F83-4EF7-8B4B-09E5B1E48A54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b9b5d10f6b2cdb7a0ccfbdce4167efd72164262","datavalue":{"value":"0968.33011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978177$6070D31D-D11F-41D3-83A1-E75EEE3571D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ebc478f2b0055c91a0cd0fd6d81a9d88b2d4994","datavalue":{"value":"10.1016/S0012-365X(99)00259-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978177$9EE59FCE-3745-4704-9B24-C837F34467F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c726648971d4386c5c96b3650a86db20d6770352","datavalue":{"value":{"entity-type":"item","numeric-id":480637,"id":"Q480637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978177$1DEA9B50-B386-4B3D-BDA6-737DEEAED86D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978177$6AC2250A-DC5B-4C16-842F-CB04977302F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3bd111750c8b25e26eea9a9c3e259543f891eef","datavalue":{"value":{"time":"+2001-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1978177$3B2E8F9A-75B9-4D9B-B564-85A1635FB6E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0953a27a0c687b12c4b96750756b58a526927573","datavalue":{"value":"In this work, an algorithm is given for the summation of holomonic sequences, therefore generalizing Zeilberger's algorithm which works for hypergeometric sequences. Whereas Zeilberger's approach is a clever application of Gosper's algorithm, in the current paper an algorithm of Abramov for the computation of rational solutions of recurrence equations with polynomial coefficients is used.   With this approach, identities like  \\[  \\sum_{k=0}^n\\Biggl(\\sum_{j=0}^k{n \\choose j}\\Biggr)^3= n2^{3n-1}+2^{3n}-3n2^{n-2} {2n \\choose n}  \\]  can be computer-generated. The technique can be extended to the differential case and to \\(q\\)-calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978177$DF5E9821-712F-4B07-AB4B-2E517EE9D001","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c76cd4b8599ad1bdedd7f6dabdc2469da181f44d","datavalue":{"value":{"entity-type":"item","numeric-id":214104,"id":"Q214104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978177$C7390A7F-08C7-4B2B-B4C0-11638306B819","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42de9321ec9bffe9bd1dcf8c8689a504914f3754","datavalue":{"value":"33F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978177$C1AF702F-CAD8-449D-B778-7EBC349D8961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978177$0E1D73B3-A0D6-4719-9B30-5538809C657C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978177$BE9F37BB-59AD-4CBB-865D-2D4C58DED279","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"967201d04a7eec642e9708f048013ba41d39c759","datavalue":{"value":"1453348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978177$123FDC74-9470-46A4-A233-CA0399D39866","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d27808b249102b8253afa7d41e902c77bcbd6ec","datavalue":{"value":"\\(\\partial\\)-finite functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978177$C604A0C9-4566-4AF5-92E8-0A390A4843DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86f5d66b8c02c63ad076c96253138c129fea24f1","datavalue":{"value":"D-finite functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978177$A388F75D-CF96-445F-A63B-48E46B3746D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f3e28cc85f3362f21d4f0f87c623fef128c160","datavalue":{"value":"holonomic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978177$A000EDB8-D69C-4311-914F-09FB17EB1907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"030285d39adaeacb1d013bbe7d231f68fa944653","datavalue":{"value":"symbolic integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978177$E005B31E-C24D-49F3-904A-6236EC408B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b56e395a462378e6a23bcf12f58c58bde072f4af","datavalue":{"value":"symbolic summation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978177$86787FEC-4BA3-4F3B-A5E4-2A13BD85653C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc148c45f8a133fadf92260f0123771cbb8a69c","datavalue":{"value":"Zeilberger's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978177$CB6AC85E-B56B-45C7-85AE-95BA4B19DD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a2adb78a7e9d0ee11c60a036ba2de46bd0d1a1e","datavalue":{"value":"Gosper's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978177$EA2E0FD0-FBDD-4F67-BBFA-B3CA7739BDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22fe5a24da0ed650d7bad45b90f6fe1df893493","datavalue":{"value":"hypergeometric sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978177$671C034F-C441-406E-9F4C-856D55AC912D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a8caa0cf21ecced145109f445c8a488fd5322e8","datavalue":{"value":"Abramov's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978177$04992E02-31F9-4FCF-81CA-769D863C326E","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":"Q1978177$F949E6BC-A78B-4676-9EC1-9C72A79D5AA3","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":"Q1978177$84E05D2B-4985-42AF-9538-209FC9F2ACF2","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":"217c9b99c3322e4d2cf11d623912efcae7c5b250","datavalue":{"value":{"amount":"+0.8622961640357971","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":"Q1978177$0AFFCAE1-2B90-48F5-B054-678CF22F3704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9dcbcf2e2be387b6fbc287530298b7748dc8c2","datavalue":{"value":{"entity-type":"item","numeric-id":413409,"id":"Q413409"},"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":"Q1978177$E26149F7-2800-4536-B032-D1C40319FCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b5f6e8ecc4933453dce2d62647271928f9a8810","datavalue":{"value":{"entity-type":"item","numeric-id":1596259,"id":"Q1596259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc52e08f43c3a3eb8e57547123b0b1e7c7ff8f0e","datavalue":{"value":{"amount":"+0.825492262840271","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":"Q1978177$2726843A-9FEA-4390-8B77-A9A5D328A56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9daf69835dae77ca99f1d32d555884833ba71b50","datavalue":{"value":{"entity-type":"item","numeric-id":4382877,"id":"Q4382877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f062b4507762a739c99901d48d2f614d7b6b1bbe","datavalue":{"value":{"amount":"+0.8227189779281616","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":"Q1978177$3700F2F8-FDBF-495F-AB8C-93E6892F5D91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1978177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1978177"}}}}}