{"entities":{"Q1264446":{"pageid":1275196,"ns":120,"title":"Item:Q1264446","lastrevid":67154799,"modified":"2026-04-12T15:39:44Z","type":"item","id":"Q1264446","labels":{"en":{"language":"en","value":"Decomposing polynomial systems into simple systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1204277"}},"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":"Q1264446$0FA96AA7-7039-404A-9C68-1F5C21B74B04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a60086b75e6a5762ab5d9f7dc3df72b8ae6b2b3a","datavalue":{"value":{"text":"Decomposing polynomial systems into simple systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1264446$D3FD7E9B-2757-44A3-AB74-42709B87464D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f15669bccaa525bea1f1e662b80e09855c58333b","datavalue":{"value":"0913.12008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264446$C547C46A-DCA3-42E9-A832-2BC0D3699422","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"445e6c271797bbd4e969d752f3f62229db781b70","datavalue":{"value":{"entity-type":"item","numeric-id":215659,"id":"Q215659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264446$F26553B4-8D65-46F8-91D3-1B0C780C3C73","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":"Q1264446$F8F47BE0-BADC-4D61-A6C5-3B3D3A3354C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bf0a1a1429924599cfd386dc9b5aa0ec5aaa8a5","datavalue":{"value":{"time":"+1999-06-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":"Q1264446$BE906E43-4589-42F9-9429-186BA10664AE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b88b873af9599331bce21c6b3b85c4ab78dba82c","datavalue":{"value":"A polynomial system \\([P,Q]\\) is a pair of multivariate polynomial sets \\(P\\) and \\(Q\\) and Zero \\(([P,Q])\\) is the set of all common zeros of the polynomials in \\(P\\) which are not zeros of any polynomial in \\(Q\\). Fixing an ordering to the variables, a simple system is a polynomial system ordered in triangular form, in which every polynomial is squarefree and has non-vanishing leading coefficient with respect to its leading variable. The author shows how to decompose any polynomial system into finitely many simple systems \\([T_i,T_i']\\) such that  \\[ \\text{Zero} \\bigl([P,Q]\\bigr) =\\bigcup \\text{Zero} [T_i,T_i']. \\]  The method deals with top-down elimination and the construction of subresultant chains. The author also presents an algorithm (Sim Sys) that decomposes any polynomial system in the sense stated above. He shows how Sim Sys works in different examples and finally states several properties of simple systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264446$455BD36F-2879-45AE-A9C4-71A0535ECE24","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a6ce23ad19c92a98158602d803a5b655791336e0","datavalue":{"value":{"entity-type":"item","numeric-id":250255,"id":"Q250255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264446$576978F0-7AC7-48E9-9320-0C9DADB697FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264446$27CB773E-F82D-4C41-A8F2-4AC1A96655A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"134db59e1dd21b74810139030592980e5f363e0f","datavalue":{"value":"13P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264446$9640D9B1-3447-4750-965D-0A1BB2874FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264446$413C49E8-3336-4696-8E40-3556F9F2C04B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90cc0d25049f138e077107abe83db5877049de78","datavalue":{"value":"1204277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264446$C59D287C-3043-4EEF-ACEB-8E45FDD0F3A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8552a35f9cdbe0a792243d94863ca55a5f00c26","datavalue":{"value":"polynomial orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264446$C8778CE9-39BF-4231-9179-CB23C4D93C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a9158862c14d19e33938326fa838bdb77491faf","datavalue":{"value":"polynomial system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264446$323F06CD-A82B-4785-944C-32826E2C8C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cb33f30139bd2d098221fc81949137b9eed75c2","datavalue":{"value":"simple system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264446$BF8FD56F-368C-4295-8790-47485012BE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264446$A0A4ED5A-530B-463B-B1B5-BAC74E497067","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":"Q1264446$015AB691-24EC-4930-AF3E-8FF108F7C5EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f39c58629f801d72622c7530141dee9b3a6e510c","datavalue":{"value":"https://doi.org/10.1006/jsco.1997.0177","type":"string"},"datatype":"url"},"type":"statement","id":"Q1264446$389DA6F7-0B8A-4070-9A02-8AAF47B5E2FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da42f290e2c3c0a2de5466e47c1194a13eb08692","datavalue":{"value":"W2056521839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264446$B00C7C3F-07AD-4C6F-8C59-7C848E323A2C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a23ecb61474b8aa8d6bbb1cc49a1976bcbabf47b","datavalue":{"value":"Q56602967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264446$BD1CAA73-EB98-4100-96A3-879787BCC7A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"559dbcff53796963507764e82b413c20c39b78a2","datavalue":{"value":"10.1006/JSCO.1997.0177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264446$3E4C70A4-DF78-44A9-A646-CD57AC90366A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd5454a41973f493b7031e8c479a2a64799fdf2c","datavalue":{"value":{"entity-type":"item","numeric-id":1311615,"id":"Q1311615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f5e84e15e5284279b3fdd953dd4d3b9294d206e","datavalue":{"value":{"amount":"+0.8146123886108398","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":"Q1264446$5594D948-C1BA-473F-AEDD-2238B6A65791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3885627d283053259bb56d257733b9ac2281c1f2","datavalue":{"value":{"entity-type":"item","numeric-id":1332646,"id":"Q1332646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9018f0d5e6f10a98caa866a03be15cf12c61b5","datavalue":{"value":{"amount":"+0.8128167986869812","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":"Q1264446$286C7B0E-94DA-46E5-9EE8-C7A74E61DD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"025bd0bff3710bec9b2e8fff29e78802659606b5","datavalue":{"value":{"entity-type":"item","numeric-id":4790469,"id":"Q4790469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85bfc720890564c4d2b94b75770d38e08b49cdeb","datavalue":{"value":{"amount":"+0.801743745803833","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":"Q1264446$38D84FB9-2DBD-494F-8149-946C6156AF9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decomposing polynomial systems into simple systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decomposing_polynomial_systems_into_simple_systems"}}}}}