{"entities":{"Q2422706":{"pageid":2433449,"ns":120,"title":"Item:Q2422706","lastrevid":53451536,"modified":"2026-01-24T23:47:28Z","type":"item","id":"Q2422706","labels":{"en":{"language":"en","value":"A computable extension for D-finite functions: DD-finite functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7068640"}},"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":"Q2422706$BF3E8E57-2233-40D4-B844-A8D490BC7880","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d8e37a200e3fb34a7ac3f20fecb78afafb137d5","datavalue":{"value":{"text":"A computable extension for D-finite functions: DD-finite functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2422706$F99383FD-5BDB-47B1-8087-442386B0A816","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47de254f8975c905985127c6ed6a8c93b573085f","datavalue":{"value":"1427.13034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422706$168C49B4-CC26-49FC-B816-B3EB476AB37A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dc7478e802c2c30e486c8676786b21bcc95c4ad","datavalue":{"value":{"entity-type":"item","numeric-id":2100066,"id":"Q2100066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$3B2C4A4E-D7D1-43B6-BADE-84C09291A1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb9dacdcce608377dd73b09f23885c2ccde5b6e8","datavalue":{"value":{"entity-type":"item","numeric-id":259717,"id":"Q259717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$6B56D08D-10C4-47A3-904D-FA68A1DAE3E0","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":"Q2422706$5F5BA6B1-B673-4297-B55B-7A9796299AF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42d1f5c0f5e8db34a69e71d479f8d7faaf3c37a6","datavalue":{"value":{"time":"+2019-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2422706$6A16B2A6-E604-4490-B406-62B5FB10CBE5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"29a45648a0004af922e433a6d3a66237ddd59246","datavalue":{"value":"Let \\(K\\) be a field of characteristic zero, \\(K[[x]]\\)  the ring of formal power series over \\(K\\) and \\(\\partial\\) the standard derivation in \\(K[[x]]\\). In addition, let \\(R\\) be a non-trivial differential subring of \\(K[[x]]\\) and \\(R[\\partial]\\) the ring of linear differential operators over \\(R\\). A power series \\(f \\in K[[x]]\\) is called differentially definable over \\(R\\) if there is a non-zero operator \\(A \\in  R[\\partial]\\) such that \\(A \\cdot f = 0\\). Furthermore, if \\(R\\) is the polynomial ring  \\(K[x]\\), then \\(f\\) is called D-finite. Finally, if \\(R\\) is the set of D-finite functions, then \\(f\\) is called DD-finite.   D-finite functions satisfy several closure properties. In this paper, the authors derive the analogous closure properties for DD-finite functions. In addition, it is proved that the function \\(\\tan(x)\\) is  DD-finite and illustrated the execution of closure properties for this function. At the end, they address the issue of initial values \\(( f (0), f^{\\prime} (0), f ^{\\prime \\prime} (0), \\ldots )\\) to define the solution within \\(K[[x]]\\) of the given linear differential equation uniquely.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422706$3B37A21B-F06C-4B73-938A-05D5D0EAD38D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a3cb3302bfe70372bd6624bf5334e81c39ef3cc2","datavalue":{"value":{"entity-type":"item","numeric-id":382758,"id":"Q382758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$2E4BBFE2-B614-4122-B1DC-4E8979CCE692","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c635c2c6434a00b8195e1d45192cc46e8e4949b3","datavalue":{"value":"13N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422706$64697906-9667-40B6-88B7-9131A9C47F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422706$CB97C596-3ADA-4511-AD65-A888B1AF819F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa6e34f0032ad3c858f364580f635a90cd638688","datavalue":{"value":"34A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422706$94C0FF41-C246-4EA2-A522-2841A166EA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50ee67d9d4438349bdf7aacbe2911ee07a4388dc","datavalue":{"value":"13F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422706$D7B6DEAA-5727-4D60-9015-01EA72551956","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74eb460b076b81025c920b493dd1acfdc0e4672d","datavalue":{"value":"7068640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422706$3A224A1B-D78B-4456-867F-BAE030005707","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f3e28cc85f3362f21d4f0f87c623fef128c160","datavalue":{"value":"holonomic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422706$1AAF2263-71B4-4679-BD19-E4C400BA2AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a7b03c1290f4420f511d8fcb71a4d38b5c445b","datavalue":{"value":"closure properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422706$C8FF0BCA-CCF3-4C35-A270-C1799C5E8BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3590eb8b47f26c41d61639b5166afe44752133e","datavalue":{"value":"formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422706$9B5ECBB4-9535-424F-9D7D-0D7E6BC6AE49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c53009f40ac300141316cd2394a2e5f6d8957fd","datavalue":{"value":{"entity-type":"item","numeric-id":44280,"id":"Q44280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$711FCBDA-13EA-4F18-98D0-CE82FB56B110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ad6c1aae31a48f087ae4eb3ae2e21df3da0b779","datavalue":{"value":{"entity-type":"item","numeric-id":13105,"id":"Q13105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$FDE75AAC-3F37-4B4B-BA10-CA354962E178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$410DEF1A-CC92-42CD-8EB8-7D80EF38C2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c66446f9cd4a7290c9edd2514c3e5936a8d3bae3","datavalue":{"value":{"entity-type":"item","numeric-id":26177,"id":"Q26177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$2DAC78F5-7600-4242-9F7A-1CEF11D6F93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fae54f4ca6f40a00c5d3af1e2bace8caf434c54","datavalue":{"value":{"entity-type":"item","numeric-id":57095,"id":"Q57095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$8673C580-B19F-497F-B87A-F14ACB1E073D","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":"Q2422706$F0290D07-C0AB-4117-B899-4123EE132396","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de3972384b5e244f1ab60e9536d234a3d667885d","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2018.07.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2422706$3F1C7CD2-A813-40EE-9D4A-F9627C8B3EA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10d6ad42d823f64e839f1c7611e402e96f7eb1c8","datavalue":{"value":"W2885969493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422706$C9289B3E-7FF1-4084-A52F-3F6D91DA0A94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f38beea6b69771656872773478cf3e4d6f2fc9","datavalue":{"value":{"entity-type":"item","numeric-id":480647,"id":"Q480647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$30305AE5-DC43-40F0-9004-7F1F7C102DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e1c9512f89ff4572a7f9349f860d40f2fff672","datavalue":{"value":{"entity-type":"item","numeric-id":2017778,"id":"Q2017778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$B659DD4B-55C6-4D18-93FC-F796EC1460C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7353a9573c6bfd39561f913f769e86f5b2f6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4222737,"id":"Q4222737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$75297FA9-FCC6-40D5-B592-B97BF92497C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e7ab495b06b76b87390f0f972a0d3835af595e","datavalue":{"value":{"entity-type":"item","numeric-id":4394947,"id":"Q4394947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$18B5351D-28BB-4DDE-9817-D511BBBA6FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51647fcd55d1b278a2b3c98af3f297b6c8610f33","datavalue":{"value":{"entity-type":"item","numeric-id":2570990,"id":"Q2570990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$7F205D37-2189-40C9-A0C0-959C2D37681B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3f076d6c347421c94147e0bddcaa6a59d55251","datavalue":{"value":{"entity-type":"item","numeric-id":3697157,"id":"Q3697157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$E97EFCF7-00DE-421F-8AE4-DD28F9A0E8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f6e5352a908f3cf8605f806b894e666470ad96","datavalue":{"value":{"entity-type":"item","numeric-id":5120201,"id":"Q5120201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$D8722B7D-BEF7-451C-9B54-764A9BCC8164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"382817b31ee0fdf105fe224524e6f74fc9ac2d08","datavalue":{"value":{"entity-type":"item","numeric-id":5244919,"id":"Q5244919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$F4982F57-0C98-48ED-AF0E-FB9B46E4D79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd92abec835a78c58d4367988481ea487e5debd9","datavalue":{"value":{"entity-type":"item","numeric-id":2808008,"id":"Q2808008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$AE398F1C-C1DC-4D3B-AC2A-F903EB01BFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f9c7afc83573ea657dc7ed4a71c3ddc615c905","datavalue":{"value":{"entity-type":"item","numeric-id":621894,"id":"Q621894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$588FBDA3-FDB2-4028-9C48-376BFBB10789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca506faf60bc73bc09778e96ad79e687b3a0f20","datavalue":{"value":{"entity-type":"item","numeric-id":5336489,"id":"Q5336489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$7D5E9FC0-F8B9-4B6F-AC85-A0EB0F526E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcaa781a6a7cab1eeea5f951297838af49e244c","datavalue":{"value":{"entity-type":"item","numeric-id":5638564,"id":"Q5638564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$5BF085EA-BC73-452F-B7F7-1F94302264DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d05496c40a1353e1f9ecbb78975cbab472fcd3","datavalue":{"value":{"entity-type":"item","numeric-id":4371576,"id":"Q4371576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$182BE4F2-9FFD-4945-9FCD-2C5CCD63F0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6008497b77b3f32230f88fa41be4f8753bdee162","datavalue":{"value":{"entity-type":"item","numeric-id":1145145,"id":"Q1145145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$477DB61C-69BD-4EFA-A4C1-E39FBD990259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dbd4a93b0fabfd7eb88bd8e0ca72f40b4fba2e","datavalue":{"value":{"entity-type":"item","numeric-id":4236280,"id":"Q4236280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$3E30542D-09E2-472D-BB9A-084E58212A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd2ae192d8edc3a7ec944f00d8a01e2968b68c4e","datavalue":{"value":{"entity-type":"item","numeric-id":1360961,"id":"Q1360961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422706$2E1B7DDB-893D-4CC0-9CF8-499B12552C3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9520e6089edb503bec10fa1891864dea4fe3e909","datavalue":{"value":"10.1016/J.JSC.2018.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422706$F25DAE24-00D6-492A-A81C-9256E502A512","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"726c5a6e293c8bf4db2ed302ddf1c453534de31a","datavalue":{"value":{"entity-type":"item","numeric-id":5120201,"id":"Q5120201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944815200e5627005efd55d2d8f35893f35ac416","datavalue":{"value":{"amount":"+0.8155419230461121","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":"Q2422706$39282BE7-7B65-43E0-A133-DB39347E950D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"754ef3efd227ebe369a36b74a4481bfa135847b4","datavalue":{"value":{"entity-type":"item","numeric-id":2307438,"id":"Q2307438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0880552318040e68ee797d2056317fc73b9aed62","datavalue":{"value":{"amount":"+0.8064895868301392","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":"Q2422706$62EE4CE9-787F-4392-B172-CE2093105342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cbf7f1b1f857b78cc8a57655df52644909f1823","datavalue":{"value":{"entity-type":"item","numeric-id":1110589,"id":"Q1110589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4edab9dfe9119dd9e1113cfd4b2a10f9f5bb3d6e","datavalue":{"value":{"amount":"+0.7985886335372925","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":"Q2422706$4F554B14-289E-4EEE-9C5B-D8E28B5A1956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3ba4aecc8e3e7b48ce6b676c7923e2a36b91364","datavalue":{"value":{"entity-type":"item","numeric-id":2306447,"id":"Q2306447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daec7b92d9d6ac451513cfa9d722e700c1ddfaad","datavalue":{"value":{"amount":"+0.7547501921653748","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":"Q2422706$7FAC6440-7826-4699-A1CD-ED74CAF6EC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5223bb70df2f38c534698dd24d57e864c67adf","datavalue":{"value":{"entity-type":"item","numeric-id":2819765,"id":"Q2819765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0211098ce68cbe9db12535a9e327d5089b4aff00","datavalue":{"value":{"amount":"+0.736723005771637","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":"Q2422706$7C630007-5A69-4567-9C14-C03FB1B7663B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2422706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2422706"}}}}}