{"entities":{"Q1346599":{"pageid":1357338,"ns":120,"title":"Item:Q1346599","lastrevid":68661486,"modified":"2026-04-13T01:15:59Z","type":"item","id":"Q1346599","labels":{"en":{"language":"en","value":"Complexity of finding irreducible components of a semialgebraic set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 741001"}},"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":"Q1346599$3153067B-1E4E-4187-8DA4-3C896923F5D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e8e56f278ba220fd8d24152a4d9a3ce332cf0f1","datavalue":{"value":{"text":"Complexity of finding irreducible components of a semialgebraic set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346599$3A9D0998-DC8A-4417-858D-DA42A399CCB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fb399ffc9a5b1eac572957ba6be0abf14ca79b8","datavalue":{"value":"0821.14037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346599$68DBCB7C-AAEB-4B44-9822-F6A7A2BC7C10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f728e963338f0590fef2609026707340c65ee9d2","datavalue":{"value":{"entity-type":"item","numeric-id":162057,"id":"Q162057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346599$6635AE58-9DC8-482B-AB19-F2D831A423DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bc5d1963845e10c2efccbe47fceacea0346b6ee","datavalue":{"value":{"time":"+1995-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346599$DEBEB996-3B3E-4C2D-963C-A83F4E6C8EE3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"00b2055739d75909e36131bf7e3860827f6e631e","datavalue":{"value":"Let \\(W \\subset \\mathbb{R}^ n\\) be a semialgebraic set determined by a Boolean combination of \\(k\\) atomic subformulas of the form \\(f > 0\\) or \\(f = 0\\), where the polynomials \\(f \\in \\mathbb{Z} [X_ 1, \\dots, X_ n]\\), the degrees \\(\\deg_{X_ 1, \\dots, X_ n} (f) < d\\), and the maxima of bit lengths of coefficients \\(l(f) < M\\) for \\(d\\), \\(M \\in \\mathbb{N}\\). The author proposes an algorithm for producing the complexification, the Zariski closure and for finding all irreducible components of \\(W\\). An upper bound for the running time is \\(M^{0(1)} (kd)^{n^{0(1)}}\\). The procedure is applied to computing a Whitney system for a semialgebraic set and the real radical of a polynomial ideal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346599$8CA6EB3D-4B09-4B59-BB04-F818897C9553","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"faf5fa4f05db998aa651c0c32ce49d873d9dceaa","datavalue":{"value":"14Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346599$4BE8FCB3-FCF8-47C2-AB70-3E686B1165A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346599$62436085-B0AB-44E9-8853-BAAC3BB9DDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346599$B523520C-281A-45E1-AA2B-AA33B4CD63B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a72895e0241653a5e96d929b2d6715a732b5e6dc","datavalue":{"value":"741001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346599$0CD9DD14-D159-4989-BEAD-F114C19FE441","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4665b4d5f88b9d309260502ba6d126af2152e1e2","datavalue":{"value":"semialgebraic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346599$0A517049-BA79-4615-A096-E7740081AA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346599$C65AB0C8-BF16-4246-A8CB-84B683F5B3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a3607a106feaaa0909a5e6d0edce724071d2901","datavalue":{"value":"complexification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346599$D69C1642-E90B-4B74-81DA-AD53A0C17613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c91bd9cb957f15c5c227183c2f30767f7bfe08b","datavalue":{"value":"Zariski closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346599$40578971-5BB4-483A-802A-3AD026F7AD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30ddd422d4a7efa8cbe4a4e4ee8bcd5c82703a65","datavalue":{"value":"irreducible components","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346599$2A46A925-1B69-43B4-AFCA-D9663BD583FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e9236b9435fbaecf2f5e346085dafd73b5dcbd6","datavalue":{"value":{"entity-type":"item","numeric-id":1228291,"id":"Q1228291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346599$FE05FCE5-C723-46BF-87B2-523378C74368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b80574436eb2cfe6e06d2d1b3446d5365a842cc","datavalue":{"value":{"entity-type":"item","numeric-id":1190746,"id":"Q1190746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346599$012379A5-02F1-48E3-8009-E17CBD4B4EBC","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":"Q1346599$A385C0A7-C8BB-42BC-91F8-2AB8CF52BCFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e3679a185703ec67482d05db8d01ec5bf88767e","datavalue":{"value":"https://doi.org/10.1006/jcom.1995.1007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346599$C67FFF4D-72EA-4319-9D5A-0F4765B7F4D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03f48915d86081de59367886d7d0911377494f7a","datavalue":{"value":"W2094402074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346599$2C57054F-1E31-4DF0-B32E-E7922F529E0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"033a46d5ea49e9a9b522162d6ae1d311b1669ae8","datavalue":{"value":"10.1006/JCOM.1995.1007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346599$8B3FFBF7-06CE-415D-8B46-897B6E522232","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"097065fb84d555a0644a8476e208b25a8c5ab752","datavalue":{"value":{"entity-type":"item","numeric-id":4227319,"id":"Q4227319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27fea853bce662cd2168850fd2605be7abb9c7e5","datavalue":{"value":{"amount":"+0.83412766456604","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":"Q1346599$8329847E-1593-4507-A4E8-AD648F19045E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce1e33fa119086a636545e4acd0dc13bb19d79d9","datavalue":{"value":{"entity-type":"item","numeric-id":5966655,"id":"Q5966655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b0170256db374f1b55e938d5d7693ad947b497","datavalue":{"value":{"amount":"+0.792349100112915","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":"Q1346599$9D4A757D-4441-415A-804C-E91E9C9A708D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692f312e28a76ef5f940238763c1683332b47a04","datavalue":{"value":{"entity-type":"item","numeric-id":4232468,"id":"Q4232468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7525307c9671f61efd2086c960e109652d557e80","datavalue":{"value":{"amount":"+0.7917850017547607","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":"Q1346599$AF75EF0F-E81B-4981-A61E-835C35162E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca8fc5ff92ecf34396280bbaeea1bd59ed83f7bd","datavalue":{"value":{"entity-type":"item","numeric-id":3980333,"id":"Q3980333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b126ec6bb6e473b876398f6b1ced16e602cdba","datavalue":{"value":{"amount":"+0.7914564609527588","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":"Q1346599$BA86093B-8950-48C8-8331-7B36975C8CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eb8c13af3bbd8102fae5e909f813b31742fe80e","datavalue":{"value":{"entity-type":"item","numeric-id":5120216,"id":"Q5120216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43309cfa45fdb6b53a842772aead2d1d2887d1a","datavalue":{"value":{"amount":"+0.7904344201087952","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":"Q1346599$A011D7D8-48FA-438C-936F-DC0657C4E439","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of finding irreducible components of a semialgebraic set","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_finding_irreducible_components_of_a_semialgebraic_set"}}}}}