{"entities":{"Q1117693":{"pageid":1128442,"ns":120,"title":"Item:Q1117693","lastrevid":66165366,"modified":"2026-04-12T07:59:04Z","type":"item","id":"Q1117693","labels":{"en":{"language":"en","value":"On the complexity of computing syzygies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4092768"}},"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":"Q1117693$69E10B2A-6D3A-4900-BF5A-A731D9E596CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7e39747c69bd88f22d67583da318506e888172e","datavalue":{"value":{"text":"On the complexity of computing syzygies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1117693$B9E15778-A4EC-4489-9C6C-F103EA073645","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cfad3b01db08a296ed81524bc88daf02287b666","datavalue":{"value":"0667.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117693$96E08EBA-3B86-4C23-873E-9690258676CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1db207a36393d02c72bf9b6c387fb2aa383f5c0b","datavalue":{"value":"10.1016/S0747-7171(88)80039-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117693$BC9832C1-7EF5-4352-9BB0-BE01390E3CCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28136b3e5640435718ff67cf5b4f3155ec999dcd","datavalue":{"value":{"entity-type":"item","numeric-id":579328,"id":"Q579328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117693$264DD200-110E-4016-82AB-4AE97D619DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca8307e97862a2342a60c5f4ed572f6cc27badda","datavalue":{"value":{"entity-type":"item","numeric-id":542026,"id":"Q542026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117693$638A72EF-2D90-47B6-B32A-BE3AD940FA2F","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":"Q1117693$CB9553CE-17F4-4B3E-AAB9-56BA1742D421","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1117693$960AFA63-D667-4840-92E6-260BA0D2722E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3f44ad39be4d6fad5394e5c42d56d478ad4d5471","datavalue":{"value":"\\textit{G. Hermann} [Math. Ann. 95, 736-788 (1926)] gave an upper bound, double exponential in the number of variables, for the degrees of polynomials occuring in the minimal syzygies of a polynomial ideal. Here it is shown that this estimate cannot be improved and hence the complexity of computing syzygies is also double exponential. The result is obtained by a construction extending that of \\textit{E. W. Mayr} and \\textit{A. R. Meyer} [Adv. Math. 46, 305-329 (1982; Zbl 0506.03007)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117693$458BEC1F-A4CC-48E8-9949-D7BCE0F580A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117693$080C9A4B-0DF3-4798-965B-463881C7D7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c4b44681f7a1707f0cf17256dc3be888b8d7656","datavalue":{"value":"13B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117693$666FB859-F629-44F2-965F-D8ED699347AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117693$D207D480-0DD2-42FC-92C6-8BB757B6FA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117693$1EE97069-8E05-4246-A7E6-74334DFC6810","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd5b4dbbd78fad66b195f15087c50a836bf29d66","datavalue":{"value":"4092768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117693$7C58752F-5F1E-4D16-8052-4BE93F4B4166","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90e267bec61bf2cf117957da839707152392bf89","datavalue":{"value":"computer algebra exponential complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117693$3726D8F7-C6D9-436D-8EBE-890467EEEDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a77732f335aa8a1476e227adae477a0950c4ee32","datavalue":{"value":"polynomial ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117693$9D0B38FC-5F05-4FFE-AC64-A58B7764D651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56a023fdd9c1c6f28e134d963976a278037343f0","datavalue":{"value":"syzygies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117693$A8138C0D-DF0B-4B0A-BE6F-271E26F3A034","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"871df48068d370bde997d0002b19db68deb3e0aa","datavalue":{"value":"Q102119303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117693$05C4B7CC-0293-4681-955D-D36847E0F7DE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c57cdea2f65d9d15ca88202ede1c912bc6bece45","datavalue":{"value":{"entity-type":"item","numeric-id":249432,"id":"Q249432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117693$65705E51-55B7-4D71-8B50-2553E2833933","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":"Q1117693$65DF0864-EFAA-4F9E-9F61-4C0BF0552EA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc8a8dbfff8f42ef282e3cdbad4bb4985556c4cb","datavalue":{"value":{"entity-type":"item","numeric-id":1100521,"id":"Q1100521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117693$B3ECEA75-3208-4362-A9AC-31E111A4EABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b91148e2cff2901131184c9bd5c606c5f800bce8","datavalue":{"value":{"entity-type":"item","numeric-id":788060,"id":"Q788060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117693$5ADE8706-1F07-4B9C-835D-358B2D88500E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69266bfab07d566d587b34c635cd91f9b3edde0","datavalue":{"value":{"entity-type":"item","numeric-id":1058565,"id":"Q1058565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117693$606BA19B-6FBC-45E4-92B3-0C09D3FA066A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"094b2daeba505ebe3811fe056178fca95ed69216","datavalue":{"value":{"entity-type":"item","numeric-id":1052379,"id":"Q1052379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117693$50C8A38A-241A-4C21-B422-5A6C952468EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8272a2eed684dcc743719a6651c947badf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1836661,"id":"Q1836661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117693$ED598E68-B7F9-403E-85BA-927D40B371D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125ae9e44c11bc5b5a405ac4aaf78558ccab0c12","datavalue":{"value":{"entity-type":"item","numeric-id":5581205,"id":"Q5581205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117693$5FA2A2CB-E43F-4A6E-9C76-1349EB4F8AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ffa5595282eca1238ffbcd32c93c9fee0f0f7a4","datavalue":{"value":{"entity-type":"item","numeric-id":1087939,"id":"Q1087939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117693$4B16F8D4-7F6D-4AF3-93B7-6523EC00CA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51c2dc89b37166f3831c7e4c0ab36979a927824","datavalue":{"value":{"entity-type":"item","numeric-id":4128897,"id":"Q4128897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117693$C513B646-A590-4EB5-A132-D80AD5CB551A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f6b7ac1611fff9d6975be0dba3a8e1f195c4c1","datavalue":{"value":{"entity-type":"item","numeric-id":4736170,"id":"Q4736170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5176b9dc3f4142711fbbdad9bbbb9b144aa48fb","datavalue":{"value":{"amount":"+0.7915537357330322","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":"Q1117693$81BAE71B-1C2D-4E68-928C-C7E78AFDBB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d877ea598fb00287787406918adf2cb58053646","datavalue":{"value":{"entity-type":"item","numeric-id":4872788,"id":"Q4872788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc70d77e1d3637654cb0b4f4d371bb9c0f9ec3e7","datavalue":{"value":{"amount":"+0.7788165211677551","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":"Q1117693$07F9D845-2497-49DA-BF91-49FAF2E89875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4837a00dbdfbf902ab3e39ba994aff84ef61ecb","datavalue":{"value":{"entity-type":"item","numeric-id":1383953,"id":"Q1383953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ca8c522ef823f3cd77aa2095d2cef1a85f9ae4","datavalue":{"value":{"amount":"+0.7783432602882385","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":"Q1117693$28A447A0-7345-484A-827F-9682C3A92CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b065378ccdcff87ead79e9f5f988689bd07e08c3","datavalue":{"value":{"entity-type":"item","numeric-id":1185454,"id":"Q1185454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4236a1a6028090e1b2bd838c303a2978d4600ac9","datavalue":{"value":{"amount":"+0.770810067653656","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":"Q1117693$F30D3522-A6F0-4A0C-B0A4-71A370592A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"518dbb7d2b718192be8c6291f206e4b0d5cf3c61","datavalue":{"value":{"entity-type":"item","numeric-id":3360287,"id":"Q3360287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1077f378aabdbcee5add43859c0ae5deac3b4008","datavalue":{"value":{"amount":"+0.7672550082206726","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":"Q1117693$A72FD1D9-D4FF-48E2-A1B0-A15D961036F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of computing syzygies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_computing_syzygies"}}}}}