{"entities":{"Q657277":{"pageid":659126,"ns":120,"title":"Item:Q657277","lastrevid":57132615,"modified":"2026-03-26T17:53:29Z","type":"item","id":"Q657277","labels":{"en":{"language":"en","value":"On computing Gr\u00f6bner bases in rings of differential operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5997889"}},"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":"Q657277$00A3D970-633A-41C6-9ED9-740B1A9C684A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c7f31afc6da952b8569eaedc28acb90ab93b2b9","datavalue":{"value":{"text":"On computing Gr\u00f6bner bases in rings of differential operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q657277$38B4D6FF-5D89-4171-A9E5-758E6A28F2DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"754b13fea5c872efaa959200b4f32546a1c1762f","datavalue":{"value":"1236.13010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657277$B3EBCC43-DEE9-43C2-8FE9-41FB6BB33FB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"394e19da42dd7ab336207071aa9aaab498241766","datavalue":{"value":{"entity-type":"item","numeric-id":301015,"id":"Q301015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657277$B50C6625-B82A-492D-9981-031F4FA85B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc4cad7dd58cf9418cfee8d3cb80fa6bf85480b0","datavalue":{"value":{"entity-type":"item","numeric-id":821447,"id":"Q821447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657277$C4D97CAB-8ED8-4852-8E7E-98E239289262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2827f69f6a53ca24980e284b4b44ab25eb588340","datavalue":{"value":{"entity-type":"item","numeric-id":1895165,"id":"Q1895165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657277$D68E161E-F484-4A8C-BECE-B4737403A766","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d3b847c961e3eda70796335b98f1157bcb2f59c2","datavalue":{"value":{"entity-type":"item","numeric-id":283041,"id":"Q283041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657277$403932E6-B61B-49F1-885F-73704C71063C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11141c441dfb84ae49e81caacd22daea66deabf0","datavalue":{"value":{"time":"+2012-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q657277$1604C99A-42E5-4E99-9600-33698AA60B12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"262fd64563bf3e25656c4d1260b5f304e2ef4b20","datavalue":{"value":"https://arxiv.org/abs/1004.2090","type":"string"},"datatype":"url"},"type":"statement","id":"Q657277$F8D389D6-19D9-4FA0-9372-630783D10DB1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cc4d914564868496f1d55799eb3501d564588fe4","datavalue":{"value":"\\textit{M. Insa} and \\textit{F. Pauer} [Gr\u00f6bner bases and applications. Based on a course for young researchers, and the conference ``33 years of Gr\u00f6bner bases'', Linz, Austria, 1998. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 251, 367--380 (1998; Zbl 0945.13021)] presented a basic theory of Gr\u00f6bner bases for differential operators with coefficients in a commutative ring. They proposed a criterion for determining if a set of differential operators is a Gr\u00f6bner basis. This criterion depends on a rather complicated an computationally cumbersome notion of S-polynomials. In the present paper, the quasi-commutativity of the ring of differential operators is used to derive an new and simpler notion of S-polynomial and therefore also a new criterion of checking whether a set of operators is a Gr\u00f6bner basis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q657277$BFC37AE4-0351-4994-B0A2-73EC44250D17","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"621f492ad04a125cc010082ae16d60efae86d5ff","datavalue":{"value":{"entity-type":"item","numeric-id":394457,"id":"Q394457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657277$94B1C018-1F87-420B-AAA7-8B8945892CE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb218609bb348fdd327631b73dea60728afa1930","datavalue":{"value":"13N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657277$E1C7F651-6784-4A6D-A776-F6CC77594BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657277$814380DC-78FB-4480-8628-5CD93A8D95EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c4b44681f7a1707f0cf17256dc3be888b8d7656","datavalue":{"value":"13B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657277$DF011545-0011-4F94-9B6F-763AFAF59DFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1adc113b72a7af805164c9c6ec9486f6a0183361","datavalue":{"value":"5997889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657277$8F99866E-2056-4555-A27D-8805989A517F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q657277$6394B4F4-BC54-479E-96ED-7890989A6F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a57c77ef3f499ad4111e0b570da5de060c473b4","datavalue":{"value":"rings of differential operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q657277$3E06B09F-F62B-4C50-ACB0-81D7D7A7D722","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":"Q657277$B24FA63C-EAD9-4D4E-A257-0B4F8F2818D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75e7104be67dd1d37d2d9f95bd5900535a1ffdfe","datavalue":{"value":"W1702627212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657277$9D34F500-60F0-46C1-8773-C9A979510287","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de464f4aafb4e9508ba256e2980a33d9d5749fdf","datavalue":{"value":{"entity-type":"item","numeric-id":4305609,"id":"Q4305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657277$01C01FA0-6524-4CD2-B45D-BEB6AFC78248","rank":"normal"},{"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":"Q657277$2825E4CE-0108-42B8-8460-69FBDFF7AD07","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":"Q657277$8D428F98-C416-45C2-B2C3-19357CE7C514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8b3b3f02a231ad62f03bd6202a3de0a5b762f86","datavalue":{"value":{"entity-type":"item","numeric-id":1341746,"id":"Q1341746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657277$0F7D182F-BC1F-4242-BAE5-A74945F41D93","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":"Q657277$5D13A757-EF7B-44AB-9278-503457FDC6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9056f9acef782cd28596353b13222871ca06bcaa","datavalue":{"value":{"entity-type":"item","numeric-id":2466868,"id":"Q2466868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657277$F97FC5C8-750F-4B94-8189-3AE317CC13F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ca497f9a121ea282681cdfe558fe7e47f51767","datavalue":{"value":{"entity-type":"item","numeric-id":2468350,"id":"Q2468350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657277$31ED770A-EB53-4CE6-B5E9-836F02FE0CC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c05fffc8477d102f802f07665bc2ddcc96c325c","datavalue":{"value":"10.1007/S11425-011-4176-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657277$DDDFBB38-CA6E-44F9-9D58-2D8A705D92B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c17c75ca48731cdce20c61aedcc21b0b99bcd2d5","datavalue":{"value":{"entity-type":"item","numeric-id":2468350,"id":"Q2468350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca6682584eedd4e606352794a2637537cd9df93","datavalue":{"value":{"amount":"+0.8852587342262268","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":"Q657277$6D551462-EFF1-4BC3-8851-73F03818964D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06721bdbf4796b68ffad3ec3710910ae00ada733","datavalue":{"value":{"entity-type":"item","numeric-id":4394968,"id":"Q4394968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04937770d5c92949a4ac2c9fc63feb2286e336db","datavalue":{"value":{"amount":"+0.874451756477356","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":"Q657277$2793078A-A321-414D-ABA4-2AF6AF6966EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"213465397e6412e9761b6d5b23f491358193d3b0","datavalue":{"value":{"entity-type":"item","numeric-id":2466868,"id":"Q2466868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1539214eb226ef696cf8bce037e24c21150ce939","datavalue":{"value":{"amount":"+0.8443088531494141","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":"Q657277$6597865C-6838-45BF-8FA3-ADC6EDD3FACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff673f8d5350d7665a3846d0334dc15ac16285a","datavalue":{"value":{"entity-type":"item","numeric-id":1933960,"id":"Q1933960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79559caf23b1cbc02616d42afffd07e6724ba393","datavalue":{"value":{"amount":"+0.8425232768058777","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":"Q657277$B59E1344-1DBE-4650-A905-7921FB9FDD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b04feeb31172d56ea902ea92fec75a192792b9","datavalue":{"value":{"entity-type":"item","numeric-id":1368537,"id":"Q1368537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71e323d945a35dbc662d7ece52614d1e1d90330","datavalue":{"value":{"amount":"+0.8328807353973389","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":"Q657277$2FDD4BDB-14EB-45CB-851D-842911B55215","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:657277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:657277"}}}}}