{"entities":{"Q950422":{"pageid":952270,"ns":120,"title":"Item:Q950422","lastrevid":50478212,"modified":"2026-01-14T03:56:58Z","type":"item","id":"Q950422","labels":{"en":{"language":"en","value":"Computing difference-differential dimension polynomials by relative Gr\u00f6bner bases in difference-differential modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5355936"}},"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":"Q950422$B50EED88-B2BC-4FC4-A7A5-89822DB7385A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d7b429299507e2f1a91db8d73858a51985785c1","datavalue":{"value":{"text":"Computing difference-differential dimension polynomials by relative Gr\u00f6bner bases in difference-differential modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q950422$83C2338F-0657-4DFA-B1D1-077F5A7CDA0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf92abe982c6bb0a3f21ef91495d3e3c3c3570f5","datavalue":{"value":"1149.13014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q950422$1DEB1F4C-EC40-485B-AF8F-A7CE22DC25D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"151dc5f6ce6416ab50edbd77e0c71361485ba213","datavalue":{"value":{"entity-type":"item","numeric-id":267191,"id":"Q267191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q950422$AFC68546-4D7D-4A7A-8D9D-4E0F1D894827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5822c01d59acd9d21b669ed8a606fdc656d524","datavalue":{"value":{"entity-type":"item","numeric-id":394457,"id":"Q394457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q950422$2CA15214-4B96-4E67-A29B-06D9B5B5B202","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":"Q950422$E3C10D88-0197-429C-95B1-24F68004CEDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f54e3f824c3be64023c1326612d307bf1e97269","datavalue":{"value":{"time":"+2008-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q950422$FCADAF07-1040-4C78-A001-6FB12D8B4B59","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b22e1409de244e15f584867ba39039fe9ad71c57","datavalue":{"value":"The authors present a new algorithmic approach for computing the Hilbert function of a finitely generated difference-differential module equipped with the natural double filtration. The approach is based on a method of special Gr\u00f6bner bases with respect to ``generalized term orders'' on \\(\\mathbb N^{m} \\times \\mathbb Z^{n}\\) and on difference-differential modules. Using relative Gr\u00f6bner bases, one is able to compute difference-differential dimension polynomials in two variables. The results obtained by the authors essentially improve theories of \\textit{A. Levin} [J. Symb. Comput. 30, No. 4, 357--382 (2000; Zbl 0994.13009)], where the existence of the difference-differential dimension polynomial was proved via characteristic set.  The main result of the paper under review shows the following assertion:  Let \\(R\\) be a \\(\\Delta\\)-\\(\\Sigma\\)-field, \\(D\\) the ring of \\(\\Delta\\)-\\(\\Sigma\\)-operators over \\(R\\), \\(M\\) a finitely generated \\(\\Delta\\)-\\(\\Sigma\\)-module, in particular let \\(M\\) have the generators \\(h_1, \\ldots , h_q\\). Let \\(F\\) be a free \\(\\Delta\\)-\\(\\Sigma\\)-module with a basis \\(e_1, \\ldots ,e_q\\) and \\(\\pi: F \\to M\\) the natural \\(\\Delta\\)-\\(\\Sigma\\) epimorphism of \\(F\\) onto \\(M\\) (\\(\\pi (e_i) = h_i\\) for \\(i = 1, \\ldots ,q\\)). Let \\(\\prec\\) and \\(\\prec^{'}\\) be the generated term orders on \\(\\Lambda E\\) of the terms of \\(F\\) defined above. Consider the submodule \\(N = \\ker(\\pi)\\) of \\(F\\) and let \\(G = \\{ g_1, \\ldots , g_p \\}\\) be a \\(\\prec\\)-Gr\u00f6bner basis of \\(N\\) relative to \\(\\prec^{'}\\). Let  \\[  U_{r,s} = \\{ w \\in \\Lambda E \\;| \\;|w|_1 \\leq r, |w|_2 \\leq s \\;and \\;w \\neq \\ell t_{\\prec}(\\lambda g_i) \\;(\\forall \\lambda \\in \\Lambda) \\} \\;\\cup  \\]   \\[  \\{ w \\in \\Lambda E \\;| \\;|w|_1 \\leq r, |w|_2 \\leq s \\;and \\;|\\ell t_{\\prec^{'}}(\\lambda g_i)|_1 > r \\;(\\forall \\lambda) \\;s.t. \\;w = \\ell t_{\\prec}(\\lambda g_i) \\}.  \\]  Then the bivariate difference-differential dimension polynomial \\(\\psi\\) associated with \\(M\\) is the cardinality of \\(U\\) (\\(i.e.\\) \\(\\psi (r,s) = |U_{r,s}|\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q950422$5DBCA5FD-9716-4A75-A697-F05D73914478","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"36976c7333035c444a609cd0ed066bb34c79b6f9","datavalue":{"value":{"entity-type":"item","numeric-id":290418,"id":"Q290418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q950422$2BAE7B71-2973-421C-BA2F-88A5D61B0539","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c635c2c6434a00b8195e1d45192cc46e8e4949b3","datavalue":{"value":"13N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q950422$CA9A88F2-4E00-4DA6-AB6C-0B8D8BC27C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q950422$1A56A0C5-A31C-4E8E-ABF3-97A4357DB942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q950422$0AD6BE24-E42C-4B4B-92EE-D3FB806D7769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4a4958b9ec0502bdc37c3a756325974bf4d764","datavalue":{"value":"13D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q950422$236427BC-E025-41F1-A32C-6364FB9CFB41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d84ce9a8c428498afe9282ba04fb87dc38b4a13d","datavalue":{"value":"5355936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q950422$A8F72924-52F4-499C-ADB5-D2D7DDF2209E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13375cd4c96d698c0b1ec2eebe765af209a6910d","datavalue":{"value":"relative Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q950422$2B6A3F13-ED4B-4050-8424-409B1651C00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfcf88d1afe476209a7899890b2c7eec270bf53","datavalue":{"value":"generalized term order","type":"string"},"datatype":"string"},"type":"statement","id":"Q950422$13CE575B-245C-449A-B4D2-3F37DAD140F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0deb6a33fa5c0ce63885d35a35a0a386f70078d3","datavalue":{"value":"difference-differential module","type":"string"},"datatype":"string"},"type":"statement","id":"Q950422$B6B502C0-FBEE-407F-9BDF-705F723C5EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebd177bf99fad366eb3dcbedcce4d60ea7bf802d","datavalue":{"value":"difference-differential dimension polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q950422$BD1BB8FA-0300-463C-83DD-57EEF7F0AE16","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":"Q950422$B100DDF3-32D8-4698-8908-F7D3799E83DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c6d98da51bc2beff5f8c04663e31c848148b247","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2008.02.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q950422$0B1D1D41-A5CE-46EB-B912-2DB47015ECA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58142a1ac3e8c6813e38202250ac02a7db0553a9","datavalue":{"value":"W1987295165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q950422$ECAE06AE-AD85-4446-BE0A-FED64AC94A0A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9428cbd23d9f17f697dd3711630373929f1f72eb","datavalue":{"value":{"entity-type":"item","numeric-id":1368537,"id":"Q1368537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q950422$05C63B40-3182-470D-A022-2BD5ACF0C68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6802c3d2751512d33f9ff61dbc9934bdafbe27","datavalue":{"value":{"entity-type":"item","numeric-id":4394968,"id":"Q4394968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q950422$9C55B878-2FE1-406F-BE7B-3661DD6AF5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76aacadb01f75c37fe9316a7faff2e68296c73f6","datavalue":{"value":{"entity-type":"item","numeric-id":4775938,"id":"Q4775938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q950422$2FC06A4D-A7CD-4B7F-AC4F-4A3C9EA40BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a46a50281f8795cfa60d12f50bd7028edc1d85d","datavalue":{"value":{"entity-type":"item","numeric-id":5519986,"id":"Q5519986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q950422$C6A304E0-B02C-4C43-81BC-1322CECA8FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f64488f53d53a9caeba260363a59200e84611fb","datavalue":{"value":{"entity-type":"item","numeric-id":3209214,"id":"Q3209214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q950422$C397B8B0-DA62-4ACD-B94D-CCC20E2DE054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0457e8daf625f6fed774cc599e8353cf6ab317ee","datavalue":{"value":{"entity-type":"item","numeric-id":3916665,"id":"Q3916665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q950422$F7B3625F-CD26-4CD0-B3C1-C6488B23D381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f05057dc316acf2513d39606c34d1705a540ad","datavalue":{"value":{"entity-type":"item","numeric-id":1588026,"id":"Q1588026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q950422$03EAFBA6-FAE8-442B-9617-E0EE1BD3E41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527138075efb90cadef90eca8363aff4d82a26c8","datavalue":{"value":{"entity-type":"item","numeric-id":2455743,"id":"Q2455743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q950422$8C438074-0D65-44CD-B0AA-715956DD6C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eadb49563db8d3ee0fd8468b78b060beeb57593","datavalue":{"value":{"entity-type":"item","numeric-id":1346479,"id":"Q1346479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q950422$82D3FA7E-C84E-40E0-9289-F6638D4E4E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41c30be657ea505b164d31c499f8745b673e2f4","datavalue":{"value":{"entity-type":"item","numeric-id":1290507,"id":"Q1290507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q950422$154A538B-5CFD-4D12-9A97-5A5611B32A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec6dc8a40efd710f1c7334f2b6c2e2e90120490","datavalue":{"value":{"entity-type":"item","numeric-id":3033314,"id":"Q3033314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q950422$EE523886-EBBA-449B-BD45-A090B5A37E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66969a276cc9e654ef96a4c2c3aa34b41e4969a9","datavalue":{"value":{"entity-type":"item","numeric-id":2959011,"id":"Q2959011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q950422$97CF451A-82D0-47D9-9C51-C65637D48053","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"def7b0b8c30294a13a514c963df4a605a60cbd98","datavalue":{"value":"10.1016/J.JSC.2008.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q950422$66403E51-2762-4AA9-BACA-F33EBB1FA0D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe6527bf87ba02fe71920bc2378a01f7a978a18","datavalue":{"value":{"entity-type":"item","numeric-id":2519332,"id":"Q2519332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d2472bbc34afccfef8f0c150064ad5b62ea5e2b","datavalue":{"value":{"amount":"+0.9457584619522096","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":"Q950422$C7B2A184-6537-4F60-B0AE-A14093EF2742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0eca14af37181eacd75cff779e9f5257e0edd8","datavalue":{"value":{"entity-type":"item","numeric-id":2858326,"id":"Q2858326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbacfc531d9abd6968a06276060a9c3fcf5b2da3","datavalue":{"value":{"amount":"+0.9076552391052246","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":"Q950422$0A81F0BD-BD1F-4747-9087-8BF5A241C39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec8864b6956a6cb635b4c284f0c3335e92b82ce","datavalue":{"value":{"entity-type":"item","numeric-id":5199089,"id":"Q5199089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63be3983da8832ad14c5eaccc14b2b5c3213f2f","datavalue":{"value":{"amount":"+0.8870505094528198","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":"Q950422$F86E925A-BF02-4061-81E1-29EAD3147E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fbfabdd4b92db9347076528da4a07b62e43e010","datavalue":{"value":{"entity-type":"item","numeric-id":2959011,"id":"Q2959011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79687f64cd79e8598cd260538525ba40d6defa55","datavalue":{"value":{"amount":"+0.8827822804450989","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":"Q950422$86405FC5-4484-49B7-9B0D-33198EE5C0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c13555280e616e11487427a069e886044bcd5030","datavalue":{"value":{"entity-type":"item","numeric-id":1588026,"id":"Q1588026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35cf9b493446d39c56ab0923af44ad98e49daa0","datavalue":{"value":{"amount":"+0.8778272271156311","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":"Q950422$062295A3-575E-4910-B773-E8C5752798D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:950422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:950422"}}}}}