{"entities":{"Q1383953":{"pageid":1394693,"ns":120,"title":"Item:Q1383953","lastrevid":68766810,"modified":"2026-04-13T01:56:09Z","type":"item","id":"Q1383953","labels":{"en":{"language":"en","value":"Ideals generated by quadrics exhibiting double exponential degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1139776"}},"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":"Q1383953$4D7B1992-CC0E-4451-8C22-7699B6F84FF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18e091ebbf7f7717472885ad12b07f9f67e7604f","datavalue":{"value":{"text":"Ideals generated by quadrics exhibiting double exponential degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1383953$F8774151-EAAE-4A7F-9491-96FDB8DAC7F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca5c8bbe30e61b25735eaa5721d2780fafafeb7c","datavalue":{"value":"0924.13022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383953$338AA0F9-30BE-47ED-9919-6045528A734D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383953$4DB970F0-866C-4F02-943D-AE58CBC9EFCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179b40780f93d89d986b6f1110abe8d9772f7f5c","datavalue":{"value":{"time":"+1999-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1383953$29C80B8D-74D7-469C-B800-36E18FC32A04","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f70d480e545fef57dbe51b5b14183fac92914cff","datavalue":{"value":"Let \\(I=(h_1,\\dots,h_s)\\) be an ideal in the polynomial ring \\(R=K[x_1,\\dots,x_n]\\) over a field. A measure of the computational cost of algorithms solving the ideal membership problem is obtained by bounding the degrees of coefficients \\(g_i\\) which espress elements \\(h\\in I\\) as \\(h=\\sum g_ih_i\\). Actually we have bounds which are doubly exponential in the number \\(n\\) of variables; on the other hand, \\textit{E. W. Mayr} and \\textit{A. R. Meyer} [Adv. Math. 46, 305-329 (1982; Zbl 0506.03007] constructed examples of elements in some polynomial rings, requiring coefficients whose degrees have a doubly exponential growth; it turns out that known bounds can be possibly refined, but not substantially improved.   The examples of Mayr and Meyer (loc. cit.) are generated in degree \\(5\\). In the present paper, the author modifies these examples, providing ideals generated by quadrics for which the doubly exponential growth occurs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383953$E2E05175-8387-453E-BE73-C45E7EAD6620","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383953$3EF0F468-4EBB-4560-83D1-97BF457592D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383953$2EB7D1D3-9A49-4C1D-8257-D31D8732B640","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71f11fc53127b47cd11c8266c2e81bde30bad127","datavalue":{"value":"1139776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383953$3B277953-D08D-4E42-BCF6-C762EBEA609F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78d2b80333a2fe1bc4959ce23126c928c3921f","datavalue":{"value":"polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383953$C2991822-9455-45CE-BC8F-487E338892A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9f073e8e41860aa8521cb31b1ebfcf660d8360d","datavalue":{"value":"computational cost of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383953$72325683-EABA-4274-AF30-562692B3B4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b763c6bb3bacbe3cf530e30249e7b85c26c23bdf","datavalue":{"value":"ideal membership problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383953$02A46640-08CE-4CBA-BB96-B5C119082C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9748bbf63bee4df032f2057b1720f90120bbad6","datavalue":{"value":"ideals generated by quadrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383953$6409B14E-A7F6-4FC4-88D4-9641910CD026","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a28216e51ea5a6ea0a621cbbdfea75107b079e70","datavalue":{"value":{"entity-type":"item","numeric-id":201487,"id":"Q201487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383953$104AA479-74CA-417E-8DC0-7D0D2FF099AE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a6732e872f01faf176eef8902d940ca87781fd3","datavalue":{"value":{"entity-type":"item","numeric-id":428914,"id":"Q428914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383953$EC84C158-3BBA-4FEE-A43C-950C0E34D527","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":"Q1383953$0FD57903-B511-4B27-AEBA-BEACFEDC0284","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fcae8997c72e446c04aa9cb7822ddc1753f83e0","datavalue":{"value":"https://doi.org/10.1006/jabr.1997.7225","type":"string"},"datatype":"url"},"type":"statement","id":"Q1383953$CCC52B6F-0E5E-4151-94D1-11B57F834C87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e1a71413da149febc7ed80038ba237d4540c8f5","datavalue":{"value":"W2017089594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383953$57106EC4-E76B-4E72-AC4A-659F65C11378","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac5cf4439390f0ac96b4682099c3758fa09a118","datavalue":{"value":{"entity-type":"item","numeric-id":1117693,"id":"Q1117693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383953$32BDBF5C-63B1-464E-96B9-90E06783E898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85204974e8e5bf29538a9c20322b38de64d3f05","datavalue":{"value":{"entity-type":"item","numeric-id":1185454,"id":"Q1185454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383953$065F6E83-0927-4381-ACC1-FCA323FA27E4","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":"Q1383953$34C7D53C-0AB1-4C40-9812-CB1D553AF13A","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":"Q1383953$3FFFB6E7-69A7-4CC5-93D3-17A5670EDD0D","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":"Q1383953$260D445F-A64E-4088-A846-E8890352D53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee63959bce2fb2544854a21da9265ebbbe9d4b45","datavalue":{"value":{"entity-type":"item","numeric-id":808265,"id":"Q808265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383953$75B75083-4E9F-4C89-B43A-8AD434B4C58A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0aa81ddb3ab80f72279fd000b90dc221c4d37e41","datavalue":{"value":"10.1006/JABR.1997.7225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383953$C17A916C-569A-407B-829F-C7E9DF78909B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"836ac02c2a3287b659b707b8908f18f84483f8f0","datavalue":{"value":{"entity-type":"item","numeric-id":1403895,"id":"Q1403895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9fba09d797c65765c5b932e6dd34082361466e8","datavalue":{"value":{"amount":"+0.8210486769676208","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":"Q1383953$36376017-6D28-4FF7-8AC4-E04FC07CB1CD","rank":"normal"},{"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":"e3970181eaa87e70a1a3e093419717f71bfff793","datavalue":{"value":{"amount":"+0.8109873533248901","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":"Q1383953$56C3F4E2-269E-4134-9820-EBFC5861E7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395a7a30a84b5962916c162ff2846c686c8ef3da","datavalue":{"value":{"entity-type":"item","numeric-id":1881115,"id":"Q1881115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42604acc20db9d909e57580c149978f697a42789","datavalue":{"value":{"amount":"+0.8007669448852539","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":"Q1383953$55122FED-121C-4414-A07E-3843578964F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"521fd5c2f786009ab9d92429bacd1405e8ea656a","datavalue":{"value":{"entity-type":"item","numeric-id":4205526,"id":"Q4205526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53033a58e105eb1faaafb3bafe8cc9d5af3023af","datavalue":{"value":{"amount":"+0.7873829007148743","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":"Q1383953$BC490A71-8042-4B98-8A0B-8876B4EC1F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151f734db7ff62920eb0ef68c0f016256aef3f31","datavalue":{"value":{"entity-type":"item","numeric-id":1117693,"id":"Q1117693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648d4c6d09be1b76a536e9e7aa1f2f41eaf5ee56","datavalue":{"value":{"amount":"+0.7636554837226868","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":"Q1383953$ADE71236-6A14-46A0-B542-40B151FAB00F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ideals generated by quadrics exhibiting double exponential degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ideals_generated_by_quadrics_exhibiting_double_exponential_degrees"}}}}}