{"entities":{"Q2666962":{"pageid":2677705,"ns":120,"title":"Item:Q2666962","lastrevid":54155498,"modified":"2026-01-26T08:55:01Z","type":"item","id":"Q2666962","labels":{"en":{"language":"en","value":"Constructing reductions for creative telescoping. The general differentially finite case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7432190"}},"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":"Q2666962$7363983B-2F01-485B-B97C-3A75972F7F29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46e483ff0a474d491092ccd362feeb3bc4df25d0","datavalue":{"value":{"text":"Constructing reductions for creative telescoping. The general differentially finite case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2666962$35A55773-561B-406B-A0F6-EEAA79235B6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e27991bf13f411a4ec808aa59478739ea4d987cf","datavalue":{"value":"1503.33018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666962$B49DADEE-0460-4768-A249-2E4FD7F0895E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddbac42ac2c84d12533405ebcc24e236f8e4e04d","datavalue":{"value":{"entity-type":"item","numeric-id":190427,"id":"Q190427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$3076123A-7942-4466-8029-62E2F59F9C05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$E3CA1CD7-85D8-4E25-B095-6153595A2A92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4d88cdf50c95484e0be480b161ba22851940082","datavalue":{"value":{"time":"+2021-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2666962$779333E4-52BE-4783-B9DD-3314FFBD69E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef800d14789fe761e74574f8946fc71f490823ba","datavalue":{"value":"Reduction-based algorithms for creative telescoping have been studied intensively in the past few years, and more and more general classes of functions have been investigated (rational, hyperexponential, algebraic, etc.) in the differential setting, and similarly in the shift case. The case of general holonomic functions in the differential case was missing, until in 2017/2018 two solutions to this problem were found independently: one is (a predecessor of) the present paper, the other one is by [\\textit{A. Bostan} et al., in: Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018. New York, NY: Association for Computing Machinery (ACM). 95--102 (2018; Zbl 1467.34011)].  To construct a reduction procedure for general holonomic functions, they are viewed as solutions of first-order differential systems (rather than higher-order scalar equations, however, it is well-known that both are equivalent). Then two types of reductions are defined: head reduction and tail reduction. The goal of the head reduction is to reduce the valuation of the given \\(f\\) at the point at infinity. For this purpose, special matrices, called ``head choppers'', are introduced. The tail reduction is supposed to reduce the valuation at a finite place \\(\\alpha\\). It works analogous to the head reduction, by a change of variables. The combination of these two reductions gives the final algorithm. Some practical improvements (avoid expensive polynomial factoring by dynamic evaluation, and avoid computing explicitly with algebraic numbers) are discussed in the last section.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2666962$7D1A87DB-4D4A-4669-AAD1-3ED83DF8F9BC","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":"Q2666962$01B6566E-BEFA-40F7-B51D-7064A7D7FFEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42de9321ec9bffe9bd1dcf8c8689a504914f3754","datavalue":{"value":"33F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666962$E8F3852F-2BB8-4FD1-A246-724026E1CB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666962$C104FA84-7197-4FA6-9FD9-551F6C88F956","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7435d13988c7a1a7bdab79ac1b75f416bfbcc880","datavalue":{"value":"7432190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666962$CFBC315A-445C-493A-BCF7-E995404FF8BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4223783c2d7e4079aad948f00d133f380f1282f7","datavalue":{"value":"creative telescoping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2666962$15B0B5F3-2F0D-48AB-8405-902784697437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42607e17b0c0f94f8c127f32784942a6a2ecb4e","datavalue":{"value":"holonomic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2666962$43C59B4C-1631-4CE7-B89A-7F0F5E2BFC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"332666871e518ec45e90317de0c63b0974dddf44","datavalue":{"value":"Hermite reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2666962$2480D854-DEF3-4161-9A9E-80A6C5C5E6D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1c3bebe77adf598f50deb4742409c08fba85245","datavalue":{"value":{"entity-type":"item","numeric-id":17495,"id":"Q17495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$86BBD7A8-AE13-408F-973D-F19786D44FDA","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":"Q2666962$8ED6FF17-9619-4648-9A26-2542FB4D118E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad29e7636113c595f7c79e4500debf096505946b","datavalue":{"value":"https://doi.org/10.1007/s00200-020-00413-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2666962$6C54F3A4-5996-4EF2-945D-C607FC0A76CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e49be492edb5fa8d2bd6fbaf4a8de2b7dcd1db42","datavalue":{"value":"W2998834702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666962$71F20BD3-051F-4808-ADBB-F9374415DE08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad21f7f49dc9bee93bc3fd1088d0a268cb32625","datavalue":{"value":{"entity-type":"item","numeric-id":4700082,"id":"Q4700082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$8607DD0E-7AB8-4A93-A4A5-BDB09D4931C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"581dc55a97a63d74094db38a5493e8f8446a1bcd","datavalue":{"value":{"entity-type":"item","numeric-id":2946539,"id":"Q2946539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$5F6B5DE8-E5E3-4749-AD46-6C592F5E5AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78566fc76b1dd7ab278c28c918fe4a1532a0d19","datavalue":{"value":{"entity-type":"item","numeric-id":2963219,"id":"Q2963219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$02426BAC-C49F-4872-9248-627175D5292F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b88f64d2138bbca39e13e30f4108d0298354c79","datavalue":{"value":{"entity-type":"item","numeric-id":5120183,"id":"Q5120183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$83090BDC-BC3B-4F12-892D-2F85ECB75CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9ab7bbec8584fc1cc72364f20ec4444b6fdf75","datavalue":{"value":{"entity-type":"item","numeric-id":2985817,"id":"Q2985817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$F0AB591F-1477-41DF-9A09-DBF5D9338139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e147da3c0310202e0187df3e914e381456ab10","datavalue":{"value":{"entity-type":"item","numeric-id":2963221,"id":"Q2963221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$3D71EE83-ABC2-46CE-A589-1B25C7E58CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d33782ad72aa2cd09f61f7ea11109b8ced4f458","datavalue":{"value":{"entity-type":"item","numeric-id":2409011,"id":"Q2409011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$55187A7C-4D10-40B3-AD78-8B7C71563AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c335e148dc1a5792d93cf190b71968865dba73","datavalue":{"value":{"entity-type":"item","numeric-id":2819746,"id":"Q2819746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$7C8BB5C0-AE84-43A4-99E9-B9D9A87770F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dbd726c69ac93f1dc49fa3262fa5557765d4f64","datavalue":{"value":{"entity-type":"item","numeric-id":2402228,"id":"Q2402228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$ADCAD1AF-3F31-4800-AA63-8855EA350F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4084cb5bb8860a149b349c643b9749b2710bb3c","datavalue":{"value":{"entity-type":"item","numeric-id":2985825,"id":"Q2985825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$B1A6B4DA-60FB-4F06-B748-1495E0943DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a0db9bc4dbd933321e22c43b361bbf534588911","datavalue":{"value":{"entity-type":"item","numeric-id":4657322,"id":"Q4657322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$C694D4CA-9572-434E-A03A-6E9877D11C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db61bbf70229a74daaa7847778ed63ac5fe3ec9a","datavalue":{"value":{"entity-type":"item","numeric-id":2985838,"id":"Q2985838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$18E7292C-8B7F-4CED-8533-68BD120E2866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269beec9f05b91d5db510359a46c34b59a9779d0","datavalue":{"value":{"entity-type":"item","numeric-id":5651320,"id":"Q5651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2666962$3C0A2434-B647-4082-8579-9CEA2C2D270E","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":"Q2666962$CE9EE160-3FE4-4FCE-9AE9-7EF872DB7193","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ef0ca29a6fe763fd9d1114f8510c39cee823d25a","datavalue":{"value":"Q126320068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666962$CF2642D0-2F92-4316-A051-7E2D17B069CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5557fc21ed7e07caf1f56eb3c22e43a36043cef5","datavalue":{"value":"10.1007/S00200-020-00413-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2666962$E0BE9942-0349-4B4D-9583-52E3EA87E13B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47bcf273cf3b1231e4c4627a57493a3602f82e2","datavalue":{"value":{"entity-type":"item","numeric-id":5120468,"id":"Q5120468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4c73b3bdb6c6e3f93e027b3533d5681dd63a43","datavalue":{"value":{"amount":"+0.8670970797538757","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":"Q2666962$ACDC6791-26B5-4113-9C24-5C06033FEBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e427e8162c21eec96336b5f3db6a191e8cadcf","datavalue":{"value":{"entity-type":"item","numeric-id":2985825,"id":"Q2985825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c35af8615d319fce6187e7c000a95a15f312986","datavalue":{"value":{"amount":"+0.8632195591926575","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":"Q2666962$4773D97E-2C86-4D7A-9984-1DCEB4A6F353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4ddbce8862460e639519e832bef4681211795cc","datavalue":{"value":{"entity-type":"item","numeric-id":2409011,"id":"Q2409011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e91dcb835f5cf2af6f54322a3a5aef6772b7e0","datavalue":{"value":{"amount":"+0.8526773452758789","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":"Q2666962$6DFB7FC1-8C0A-4964-A8EA-C2D7F35A21B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729cc7c08e53016358ab341af74b06517c303fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2963219,"id":"Q2963219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1801c9f5685957e30872ff588f90cd33315eeed","datavalue":{"value":{"amount":"+0.8046715259552002","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":"Q2666962$2292C7B2-8A60-4C46-AA4B-AC7080CEFACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c7900965a60126605f2a11caf7c5d301b721624","datavalue":{"value":{"entity-type":"item","numeric-id":5120183,"id":"Q5120183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69aff20c2620c41d730d20a24123a19c90206a64","datavalue":{"value":{"amount":"+0.7972449660301208","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":"Q2666962$C4712EED-E4E8-41BD-A84B-E24CA4E8F646","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2666962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2666962"}}}}}