{"entities":{"Q5917866":{"pageid":8048112,"ns":120,"title":"Item:Q5917866","lastrevid":51629582,"modified":"2026-01-19T03:52:01Z","type":"item","id":"Q5917866","labels":{"en":{"language":"en","value":"Triangular decomposition of semi-algebraic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6124211"}},"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":"Q5917866$DFC8DC8E-3817-4A09-AE58-C8DDD1FF2A4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83da3d94453fe27ad5518eae4ca88248f095d197","datavalue":{"value":{"text":"Triangular decomposition of semi-algebraic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5917866$9E09D12D-76CD-4DA1-A45D-AF4E893512EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"460ab091ed4cd8f84f476338c3607ddbbfa2d90d","datavalue":{"value":"1260.14070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917866$DEE28715-4A5E-414F-BCE4-0CFAD70A5A92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"473ad80f91cf916af26228ef57424520d1aa9382","datavalue":{"value":{"entity-type":"item","numeric-id":413405,"id":"Q413405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917866$9019E483-71BB-4D6E-B835-F7A2A0EB94B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"840c7d35f2ce10026284ad29eddaaaa6e274a32d","datavalue":{"value":{"entity-type":"item","numeric-id":247220,"id":"Q247220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917866$2ABD7CFE-DAC8-47D2-993B-417229E16E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77f1996704a957b43d19dc233cc668c11203124c","datavalue":{"value":{"entity-type":"item","numeric-id":1930148,"id":"Q1930148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917866$7551A8A4-1E1A-44AB-9246-0669B195745E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c20788f5d22efc79731ef3231477fc9804d6281","datavalue":{"value":{"entity-type":"item","numeric-id":413406,"id":"Q413406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917866$7573D0D3-AF72-4654-9B25-C3F688129149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0038878076b301e6462b2653f0c09b0d02a59b41","datavalue":{"value":{"entity-type":"item","numeric-id":351969,"id":"Q351969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917866$CACD8130-CFE9-4363-A56B-A0A0ABB13131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"448429260b7c7d84c5b4426a4fbc0ec89b344c17","datavalue":{"value":{"entity-type":"item","numeric-id":656454,"id":"Q656454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917866$29425FDF-C952-42BF-AF73-C74F6FEB9418","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":"Q5917866$5C909443-9FA1-4F31-BC34-EC242ADC6418","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f73384387181e740d0320d4931fc1cd66aeb99c","datavalue":{"value":{"time":"+2013-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5917866$68230769-8667-4F1E-BDD1-7E56F06F6937","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb743b9a584cdfa6647495a25e48c7bae9c244d8","datavalue":{"value":"Triangular decompositions of systems of polynomial equations produce as outputs \\textit{regular chains.} The paper under review introduces the notion of \\textit{regular semi-algebraic systems}, which should be regarded as the real (i.e., over \\({\\mathbb R}\\)) counterpart of these regular chains. Two notions of a decomposition of a semi-algebraic system are then defined: one called \\textit{lazy} where the analysis of components of strictly smaller dimension is deferred, and another called \\textit{full} including all the cases.  The authors provide running time estimates for computing these decompositions, and their implementations and experimental results are described at the end of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917866$18A21033-58B1-4E81-9C57-28AF6CB811FA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1d9b22ef7d1260b01493c287a8f3c457bacc7c58","datavalue":{"value":{"entity-type":"item","numeric-id":191946,"id":"Q191946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917866$33749E27-8ABA-4AA2-BC61-2083A64ED083","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917866$1F1B8183-C52F-4EF2-97D6-D3ABF1BBE009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917866$8B50D6D7-C7FF-4380-90A3-6F24D295B92C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4934f18b15056f8fa59855d32b85ab9020c352ba","datavalue":{"value":"6124211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917866$B4673C58-0292-425D-8270-81B482EC2F27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4df7f41d9b24b55a530f7738ea242ccf5f8dbd","datavalue":{"value":"regular semi-algebraic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917866$E9D672BC-8759-4C97-B04E-0DA63CAE1EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9853c2f7a4110d72a73065af256d4dd72fee78ee","datavalue":{"value":"regular chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917866$5E0A327F-FA09-43AA-9675-D365CA851D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f067bbb6b764d035ff1c180975545f114b41d7d4","datavalue":{"value":"lazy decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917866$FBC6B1AA-21A0-462E-BE6F-CCBCD630012E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbf8358b2df85a4ffd0e6967e70986501310f0ae","datavalue":{"value":"triangular decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917866$A66B7A46-AA55-4B61-9216-1644C71F004D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c03b9b41d241794c83560e5ccedca1034e49456","datavalue":{"value":"border polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917866$6835AC5F-6D95-43EA-A2AE-64A006E2616D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"668f5a15de1b64c3f9e50dcbc613ddae1b07e89b","datavalue":{"value":"fingerprint polynomial set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5917866$73676E67-1C00-4D8E-8134-B7DA6CF341F2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"58fa94214fa5a6697fb846ca5f26ac8aebe58539","datavalue":{"value":"Q59590592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917866$51FC4A05-0B88-46F2-85C6-85006449C11F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917866$8B2832C2-FF0B-40FA-9DE0-A87D98B9DB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32aff951e31cb88fd9452eb9d816a1b0d2b9e644","datavalue":{"value":{"entity-type":"item","numeric-id":13544,"id":"Q13544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5917866$4587C0D7-93E7-4F4E-B94E-C54F2C8E8A6B","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":"Q5917866$14145933-F36C-4CF8-852A-FF0FEF7AD722","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61b6cdc5277417439173c2f28e04c6895cb68bdd","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2011.12.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q5917866$48389E92-4DA5-48AB-9FE1-EF30FA34A2DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bfe34cbafa26895737fb04253c012775f0504a2","datavalue":{"value":"W2150928761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917866$B5E75CAB-4B75-455E-9445-88A90CF58476","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c289b865efbf7419fc5fbe349ab387e6f57f8c7","datavalue":{"value":"10.1016/J.JSC.2011.12.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5917866$DA70AFC2-9080-4C5E-97D8-6C9F45545C3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23275a025fe534ad864366db837e5284979bbf7","datavalue":{"value":{"entity-type":"item","numeric-id":5892166,"id":"Q5892166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba5804124724113fc5aba5c552614fd08a7e888","datavalue":{"value":{"amount":"+0.9350321888923644","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":"Q5917866$23279881-1DB5-4B09-BC11-03309ED3F85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee91a97c19605e07f25eaadac8485b7feeae9070","datavalue":{"value":{"entity-type":"item","numeric-id":5254156,"id":"Q5254156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3066a6a062640d6125062cccca048a9f17574c","datavalue":{"value":{"amount":"+0.8338395357131958","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":"Q5917866$C8AA6C30-D75B-4A28-B13D-131181C23430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689841eefa8b95217297c32dfb5b5bc85b4df2ac","datavalue":{"value":{"entity-type":"item","numeric-id":413407,"id":"Q413407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a014ac40e38189e643b51f2747a89151b9022b7b","datavalue":{"value":{"amount":"+0.8248053193092346","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":"Q5917866$C53072C3-B4A2-460A-B43E-44B8231347A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb750aec4d472b51d0efa6be74c44a8019f5a193","datavalue":{"value":{"entity-type":"item","numeric-id":5254157,"id":"Q5254157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e383f34b20139313856d2354e6e40eaa7f89c87f","datavalue":{"value":{"amount":"+0.8224568367004395","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":"Q5917866$C1E2DD73-627F-4FD9-BC95-BD256B341C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b707db1dd240d25c92ce5cc6b73921e01b042fd9","datavalue":{"value":{"entity-type":"item","numeric-id":4425661,"id":"Q4425661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa68678989e339f91a6dc34d420d8345ef08844","datavalue":{"value":{"amount":"+0.8147103786468506","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":"Q5917866$7F1C64D3-5561-4059-A72C-7215CF0621C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5917866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5917866"}}}}}