{"entities":{"Q2519332":{"pageid":2530075,"ns":120,"title":"Item:Q2519332","lastrevid":50549303,"modified":"2026-01-14T09:00:57Z","type":"item","id":"Q2519332","labels":{"en":{"language":"en","value":"Gr\u00f6bner bases in difference-differential modules and difference-differential dimension polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5497454"}},"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":"Q2519332$8D600A7B-02C7-46E5-B039-A5221107D765","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"038ed67216480ffa3bb1d35044886f99d142c57d","datavalue":{"value":{"text":"Gr\u00f6bner bases in difference-differential modules and difference-differential dimension polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2519332$D6A75E39-6A4E-442D-A702-468D2B7124CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"593e8889ee2d528c22e49e7b80d5b60796934084","datavalue":{"value":"1166.13031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519332$04F006C4-AF43-4518-B757-28E465184115","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":"Q2519332$F7A1D168-BBB3-4468-96AC-1D56A0A48B7F","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":"Q2519332$2E238A97-E526-4D5E-A106-00FC7B36148A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"458fca2b56f2582953e7095ef1b99c53dd52a001","datavalue":{"value":{"entity-type":"item","numeric-id":547811,"id":"Q547811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519332$67AA3B4E-D503-42C2-8E1E-717848650052","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b4ba3f9918c1a78f7dd009f97873681096874e6","datavalue":{"value":{"time":"+2009-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2519332$0A1466A3-FC0C-41CC-87C1-CE1162CEA101","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"34d3e23c81e6c294d171afce156f5a8f5aa18370","datavalue":{"value":"Applications of Gr\u00f6bner-Shirshov bases in mathematics and computer science are now well established. Particularly, the notion of Gr\u00f6bner-Shirshov bases is a powerful tool to solve various problems of linear partial differential equations and linear difference-differential equations. In 1989, by classical Gr\u00f6bner-Shirshov bases theory for commutative algebras, Mikhalev and Pankratev proved the existence of difference-differential dimension polynomials associated with a difference-differential module [\\textit{A. V. Mikhalev} and \\textit{E. V. Pankratev}, Computer algebra. Computations in differential and difference algebra. Moskva: Izd. Mosk. Univ. (1989; Zbl 0743.13015)]. However, a similar approach to difference-differential dimension polynomials in two variables is unsuccessful. Even after the investigation of \\textit{A. Levin} by using the characteristic set [J. Symb. Comput. 30, No.4, 357-382 (2000; Zbl 0994.13009)], there is no general algorithm for computing this set. The purpose of this paper is to extend the Gr\u00f6bner-Shirshov bases theory to difference-differential modules and give a new approach, which is based on Gr\u00f6bner-Shirshov bases theory for the ring of difference-differential operators, for algorithmic computing the difference-differential dimension polynomials of a difference-differential module and of a system of linear partial difference-differential equations. The authors concentrate their attention on the generated term ordering on \\(\\mathbb{N}^m\\times\\mathbb{Z}^n\\) and the compositions (S-polynomials).  The exposition starts with the generalized term ordering and its properties. Then the authors consider the reduction algorithm, the definition of the Gr\u00f6bner basis and the S-polynomials. Finally they give an approach to computing difference-differential dimension polynomials associated with a module over the ring of difference-differential operators via the Gr\u00f6bner basis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519332$53ADAB72-5BBA-4063-BAA3-87C148340339","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"13d67473be2067845b8b88475c85c53f7dfeb979","datavalue":{"value":{"entity-type":"item","numeric-id":172571,"id":"Q172571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519332$0167A050-D362-4A69-8632-F38B70D31F60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb218609bb348fdd327631b73dea60728afa1930","datavalue":{"value":"13N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519332$2C088FE0-FD8F-49EB-BC79-8FCCD2522E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5acd82496d22aa179ed7948314f87d646a2926b","datavalue":{"value":"12H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519332$46380467-D688-438A-85D6-ECB5AA289DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"71da807fbb1b8b988a0fb19cf9f36ac41bf70b58","datavalue":{"value":"12H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519332$FD460D2C-CDBF-4B8A-A29F-590EBAB10AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519332$27771CD3-6954-46FE-AED8-E647D4B294D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519332$1DDF5B25-DDF0-4D79-823C-4F6EB49161A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2904b41b53089028df5268f150ca0a13c917a42e","datavalue":{"value":"5497454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519332$BB1F6FD9-91CD-498F-8059-BFEA31DF0658","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519332$304A4A3D-91A0-4745-9DD7-74E42EFD3BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8771e6c8d83cbc0e121619b8956455953dbe290","datavalue":{"value":"generated term ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519332$24E52C59-A0C2-4374-983C-69F93944CA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0deb6a33fa5c0ce63885d35a35a0a386f70078d3","datavalue":{"value":"difference-differential module","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519332$35C276E7-646F-4577-B895-D00190194B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebd177bf99fad366eb3dcbedcce4d60ea7bf802d","datavalue":{"value":"difference-differential dimension polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519332$5DB30485-F9E7-4F39-9CBE-7C75DB230A7E","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":"Q2519332$B521A6C9-7247-4F47-8B98-A1D571082EFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ad4bd4cb53367386cd68e35f5fb3e6d9c0164b2","datavalue":{"value":"https://doi.org/10.1007/s11425-008-0081-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2519332$8F40E391-0085-47CF-A29D-51CFFAD8CC0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cf26e1a4c7ad1bded7aec231f0614f04e7132a2","datavalue":{"value":"W2139283463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519332$68A13415-B4F1-4665-82A9-82A1840C6BBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3673f1382e7e960cc6c526bc514a36bf47096cee","datavalue":{"value":{"entity-type":"item","numeric-id":3772359,"id":"Q3772359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519332$75030EFB-4D52-4EDE-87CB-5EBF7ED5A32E","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":"Q2519332$7E128C80-7A63-4520-90F9-6B4E9E3DCD72","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":"Q2519332$0AFC0472-D5A2-437B-9E5C-78747A607913","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":"Q2519332$27B8F888-EE76-4E92-A67E-08180652A029","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":"Q2519332$F42FEB7A-4D90-4840-A84E-8CBBBB23EE39","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":"Q2519332$D291B7A8-E9E6-4DCF-B590-53FAA6C3CD85","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":"Q2519332$46DFEDBD-E89D-43C4-A57A-A9C8EDA9C288","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":"Q2519332$09591FCB-69FE-4EB8-8D4F-FFA590AD1360","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":"Q2519332$D59BBBD5-342C-49AA-9BE1-E42D265B32F4","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":"Q2519332$74CD2F2E-93E0-43E8-953F-18EFBC1894DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1599c3d39805231fd80aec66df2aa4bf3d9a1d6e","datavalue":{"value":{"entity-type":"item","numeric-id":4039445,"id":"Q4039445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519332$59C953CF-59FE-4B92-BBC1-41908729F518","rank":"normal"},{"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":"Q2519332$44AC6A34-579F-47DA-B59A-C57C15CF2228","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efdee521a110d1fbbbf861284549c50cdbce45b5","datavalue":{"value":"10.1007/S11425-008-0081-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519332$1AADB785-C47A-4954-922D-6AB06C0B4F15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07084b67f8780853e972aea9281eefd7afb3f288","datavalue":{"value":{"entity-type":"item","numeric-id":950422,"id":"Q950422"},"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":"Q2519332$7179B6B9-7C5A-4AB8-9097-1AF3B3D1673B","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":"f58484bed6ac5a8fef2903d262a4b37675bbcbce","datavalue":{"value":{"amount":"+0.9444704055786132","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":"Q2519332$73A195C5-D2B2-4697-977A-785DF2217DE6","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":"88e61b64701a43edeef243dc1c725a6453be9d64","datavalue":{"value":{"amount":"+0.929320752620697","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":"Q2519332$3B5E2EC3-1A6A-4C9F-9E04-F4D73E9B97E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2465b918332ac34c54380e8c5672fc86cc38f4","datavalue":{"value":{"entity-type":"item","numeric-id":3175736,"id":"Q3175736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff30e5575b6abb6b3748b43f0dc3aa3d6feda1ae","datavalue":{"value":{"amount":"+0.9234765768051147","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":"Q2519332$559D6F8E-7C44-414C-ACEE-F3D4185B9076","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":"085385da7af680e4baf62b87a2ac261b52910b50","datavalue":{"value":{"amount":"+0.9085581302642822","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":"Q2519332$EDEE6F00-A866-4A64-9F5D-45138E53917B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2519332","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2519332"}}}}}