{"entities":{"Q6139279":{"pageid":13273586,"ns":120,"title":"Item:Q6139279","lastrevid":57208335,"modified":"2026-03-27T11:46:04Z","type":"item","id":"Q6139279","labels":{"en":{"language":"en","value":"Generic Gr\u00f6bner basis of a parametric ideal and its application to a comprehensive Gr\u00f6bner system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7790975"}},"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":"Q6139279$A0048505-87CC-44E5-8B20-ECE4DDD2EE37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03d614087447fcf2c01afdce4cbd18b0c8e65cc8","datavalue":{"value":{"text":"Generic Gr\u00f6bner basis of a parametric ideal and its application to a comprehensive Gr\u00f6bner system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6139279$C1EA78A3-299C-4D09-AF86-A38AAF9E569A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"219b3634d3e9379e3eace6152acd3ff805a40ec0","datavalue":{"value":"1530.13045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139279$4E0AF446-A1FD-4A6E-9389-C343CEC806DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae0c1e380a3771904526f2d7a7447cfe1614049d","datavalue":{"value":{"entity-type":"item","numeric-id":505652,"id":"Q505652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$FBCA0AF8-4C23-464E-9B23-B5066FA1EF09","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":"Q6139279$BA54411A-C836-45E0-B724-F9AF5AA35469","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ff89536e38dd1dcc6e3cce47bb2f12bcf1912f8","datavalue":{"value":{"time":"+2024-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6139279$A28873C4-CE47-435C-AC69-EB41455893BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c70337bc30ba3fadb1fb67a245fedb0207e1634f","datavalue":{"value":"In this paper, the properties of generic Gr\u00f6bner bases for parametric polynomial ideals and their application in the construction of comprehensive Gr\u00f6bner systems are discussed. Let \\(t = \\{t_1,\\ldots, t_m\\}\\) be a set of parameters and \\(x = \\{x_1,\\ldots, x_n\\}\\) a set of variables. Moreover, let \\(K\\) be a field of characteristic zero. Finally, let \\(F\\subset K[t][x]\\) be a set of parametric polynomials. The aim of this paper is to find a parametric Gr\u00f6bner basis for the ideal generated by \\(F\\).  For this purpose, the author first computes a generic Gr\u00f6bner basis \\(G\\) for \\(F\\) as ideal in \\(K(t)[x]\\). Then, from the set \\(G\\) a branch of the comprehensive Gr\u00f6bner system of \\(\\langle F \\rangle\\) is produced. This means a set of null and not-null conditions such that for each \\(m\\)-tuple \\(\\sigma=(\\sigma_1,\\ldots ,\\sigma_m)\\in K^m\\) satisfying the conditions, \\(G_\\sigma\\) becomes a Gr\u00f6bner basis for \\(\\langle F\\rangle\\) in \\(K[x]\\). The construction of a full comprehensive Gr\u00f6bner basis continues by creating other branches. An algorithm based on this discussion has been implemented in the computer algebra system Risa/Asir and compared with the Kapur-Sun-Wang algorithm. The results show that the new algorithm performs better on some of the examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6139279$129F3090-BBCF-46C1-A8C0-36099547C9C5","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":"Q6139279$CEEF0868-585C-4641-A905-86FAECE4CE39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139279$AB33086D-F0CA-40D2-817E-9DA6B442A1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139279$64ED007B-D080-48C5-99B3-CE43DDA7119C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9cf30409c08d8794814df406302eff616099c6f","datavalue":{"value":"12D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139279$EE1CD107-9323-4398-858E-BA662238FBD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fabfd2a9f57a8c263db620b0d89a92a17a000fa","datavalue":{"value":"7790975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139279$C39BDD56-6D86-4E2B-A500-FA01E363A244","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42a6970b50e5d60ceacb8f77f47468e26bcad293","datavalue":{"value":"comprehensive Gr\u00f6bner system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6139279$32537479-B3A0-4BC0-815E-17D528FAEDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"045aa3f6baeb978d446f18d3acd79dc77d14f123","datavalue":{"value":"generic Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6139279$4622EDA1-DA6D-4020-A14D-E4C0713AEA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68376c35eb8b5f51a405b397690b2fc1ae46c42f","datavalue":{"value":"parametric polynomial system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6139279$ABF276D5-062D-4424-B526-9E22B638D831","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":"Q6139279$932BCFBA-C872-410D-AE10-8E41AB04EFF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"baa413f28ce59b1a0368c5ac5a75359188d34c1b","datavalue":{"value":"https://doi.org/10.1007/s00200-023-00620-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q6139279$6C8DDD56-882D-4A97-A1C5-C1FEBA545D11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33e105d33e48530bac9f4939e5182869218c43e2","datavalue":{"value":"W4385542934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139279$CCF8E12F-6AF0-422A-8A15-B408DA30ED5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11704fbf32702fe638a2d6d60823659cbb5536da","datavalue":{"value":{"entity-type":"item","numeric-id":748755,"id":"Q748755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$277F845E-ADC1-4F9B-A2F1-8F4C69930504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"285d5515f80c3f58e4748e9ef85c32eb61c073f9","datavalue":{"value":{"entity-type":"item","numeric-id":2319444,"id":"Q2319444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$39B96DED-EBDF-4F6A-82CF-6BBD4B88F9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895a95f9b1d41c999c600ea5b5fc46c0697c927e","datavalue":{"value":{"entity-type":"item","numeric-id":1360964,"id":"Q1360964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$FC8AE558-9651-49BF-A1BD-25D8FB102876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e0d7b7f532a496fc39b62046307d198e66dd44","datavalue":{"value":{"entity-type":"item","numeric-id":2946517,"id":"Q2946517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$92EEBDA8-BA8E-4933-A257-B063CFF120F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf918d911d6507d6811e493104b10b2482ce1cd5","datavalue":{"value":{"entity-type":"item","numeric-id":1930150,"id":"Q1930150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$E2C19363-6770-4D31-99FA-32D7B6555ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c155685ed1e15372e7cead13a4a1430a1c0f31e","datavalue":{"value":{"entity-type":"item","numeric-id":1730311,"id":"Q1730311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$F4E0FF84-17E3-4A18-AB5E-AF6FFE6CFF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3c27d153aefb850dda89d052bdf4fc6bad1e46","datavalue":{"value":{"entity-type":"item","numeric-id":2457398,"id":"Q2457398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$6ED4AD8A-4185-44FD-9904-8AF1EC4C6B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb19d590007445759327e0f9a05c975c2cf2683","datavalue":{"value":{"entity-type":"item","numeric-id":1599542,"id":"Q1599542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$58875C56-8C04-4847-B0D8-A08A0EBE6ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0370d930ec1cbd40cb17665b11b98ad2f53f2d3d","datavalue":{"value":{"entity-type":"item","numeric-id":1755631,"id":"Q1755631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$0288BBAF-181E-479A-9CDC-DE4A5D8C7488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a31551d89e937cc3614264a6ccdf15aa2d7db5","datavalue":{"value":{"entity-type":"item","numeric-id":5301685,"id":"Q5301685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$2669A1BC-F50F-4A24-8D44-05DAC4B0F1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae0e0fc3a4443f610daa0c89e842f7644a70385","datavalue":{"value":{"entity-type":"item","numeric-id":626887,"id":"Q626887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$EF600F35-26F8-458B-B000-DEE07735588A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f87ced5c3d14b681d3468335ef06a26db99b4f","datavalue":{"value":{"entity-type":"item","numeric-id":2915002,"id":"Q2915002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$62F8B9C2-DDED-488A-810F-BEFE3CC9B4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaa96436e7d6f1fbaada1156196056b3551b4ce","datavalue":{"value":{"entity-type":"item","numeric-id":1635280,"id":"Q1635280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$36B3A216-7E65-4F3E-8494-3135248DC311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2aedc15945bb90e529d72fc510dd06b9cffb493","datavalue":{"value":{"entity-type":"item","numeric-id":4234269,"id":"Q4234269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$D77D10D1-7314-446C-A9D5-05843948A1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e071291676910b088d23a45c88c9c50889e14fe3","datavalue":{"value":{"entity-type":"item","numeric-id":1878492,"id":"Q1878492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$00731856-0621-453A-A9DC-BCE45F3A1309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a479338c68096816e5ab2493250f083683c6a8","datavalue":{"value":{"entity-type":"item","numeric-id":2959007,"id":"Q2959007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$6DD33A16-7B99-45F3-9F49-F7714AC410E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc344f73d3fa279ecc5abe0d69502a54269b540d","datavalue":{"value":{"entity-type":"item","numeric-id":1199704,"id":"Q1199704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$A797B25E-5BC2-4125-A9C7-1A624F1C4465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3b31070bfd6a7c1a91f51971bf9bc78ff15e86","datavalue":{"value":{"entity-type":"item","numeric-id":1878493,"id":"Q1878493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$72132081-32C3-41BD-B7CC-DA3A4BA5D62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c432f6a634b0c656521674211f34d8913d20bee","datavalue":{"value":{"entity-type":"item","numeric-id":2457335,"id":"Q2457335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$42FA8BFE-F77C-40A4-BA70-05D9DD0D9A5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"991976930d8e5b16e5de3a2d56e9843ea6a60611","datavalue":{"value":"10.1007/S00200-023-00620-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6139279$8AD5633F-BEF5-4DB6-8368-0840432A4137","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eefa44fc7f7c8959500f37ea827b5e09cee52511","datavalue":{"value":{"entity-type":"item","numeric-id":2402230,"id":"Q2402230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa75a9fd9e327f2829f8b0cace7e7b712660c58","datavalue":{"value":{"amount":"+0.8947290182113647","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":"Q6139279$56944E6F-1718-4AA3-B27A-538B198E67EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"727fd33b7d33ae65ed4f9394b0a301861263f951","datavalue":{"value":{"entity-type":"item","numeric-id":1199704,"id":"Q1199704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61512d5606b511136580bad2eae20b0caf9f17d","datavalue":{"value":{"amount":"+0.8806511759757996","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":"Q6139279$071E8AEE-90F8-451E-8BAA-61FE68920634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f7183720533ba45d7692518435ecdc1f9cef9c","datavalue":{"value":{"entity-type":"item","numeric-id":4660715,"id":"Q4660715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0aa8658005770d45124f887b8894139cbab8f16","datavalue":{"value":{"amount":"+0.8671128749847412","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":"Q6139279$A2280524-3134-40CF-B789-ACD7D387D5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b4f4d5d861715e38d4a6a811be15fd946e185d1","datavalue":{"value":{"entity-type":"item","numeric-id":1878493,"id":"Q1878493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5965c155ffce4148947db148f73ded4159dad6a","datavalue":{"value":{"amount":"+0.8602702021598816","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":"Q6139279$C1371FB6-F5F5-4CB8-85C0-05D68FED3BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28621794b14f8baf2cc53d6d91f5590003718657","datavalue":{"value":{"entity-type":"item","numeric-id":1940934,"id":"Q1940934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d66fa0f595c56520e577f8b393be20820e235d2","datavalue":{"value":{"amount":"+0.8592443466186523","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":"Q6139279$6B609D0D-D0A8-43E5-A55A-B4B09D141D26","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6139279$32C9467A-E9D1-4E55-A42A-7118BB6F32C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6139279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6139279"}}}}}