{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,3,4]]，“日期-时间”：“2023-03-04T23:06:55Z”，“时间戳”：1677971215893}，“参考-计数”：26，“出版商”：“Springer Science and Business Media LLC”，“问题”：“2”，“许可证”：[{“开始”：{-“日期-零件”：[[2014,8,14]]，“时间”：“2014-08-14T00:00:00Z”，“timestamp”：1407974400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，”short-container-title“：[”Discrete Compute Geom“]，”published-print“：{”date-parts“：[2014,9]}”，“DOI”：“10.1007\/s 00454-014-9619-0“，”类型“：”期刊文章“，“created”：{“date-parts”：[[2014,8,13]]，“date-time”：“2014-08-13T21:07:46Z”，“timestamp”：1407964066000}，“page”：“260-277”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“Crossref”，“is-referenced-by-count”：4，“title”：[“求基本闭半代数集上多项式函数最小值的概率符号算法”]，“前缀”：“10.1007”，“卷”：“52”，“作者”：[｛“给定”：“Gabriela”，“家族”：“Jeronimo”，“序列”：“第一”，“隶属关系”：[]｝，｛“给定”：“Daniel”，“家族”：“Perrucci”，“序列”：“附加”，“隶属关系”：[]｝]，“成员”：“297”，“published-online”：{“date-parts”：[[2014,8,14]]}，“reference”：[{“key”：“9619_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：”Basu，S.，Pollack，R.，Roy，M.-F.：实代数几何中的算法。in:Algorithms and Computation in Mathematics，vol.10，2nd edn.Springer，Berlin（2006）“，”doi“：”10.1007\/3-540-33099-2“}，{”issue“：”3“，”key“：”9619_CR2“，“doi-asserted-by”：“crossref”，“first page”：“317”，“doi”：“10.1016\/0304-3975（83，“key”：“9619_CR3”，“doi-asserted-by”：“crossref”，“first page”：“147”，”DOI“：”10.1016\/0020-0190（84）90018-8“，”volume“：”18“，”author“：”S Berkowitz“，”year“：”1984“，”unstructured“：”Berkowitt，S.：关于使用少量处理器在小并行时间内计算行列式。Inf.Process.Lett.18（3），147\u2013150（1984）“，”journal-title“：”Inf.Process.Lett.“}，{”key“：“9619_CR4”，“volume-title”：“代数复杂性理论。Grundlehren der Mathematischen Wissenschaften”，“author”：“PB\u00fcrgisser”，“year”：“1997”，“unstructured”：“B\u00fc rgisser，P.，Clausen，M.，Shokrollahi，M.A.：代数复杂性理论，Grundlehren der Mathemaschen Wisenschaften，第315卷。Springer，Berlin（1997）“}，{”issue“：“5”，”key“：“9619_CR5”，“doi-asserted-by”：“crossref”，“first page”：“409”，“doi”：“10.1093\/comjnl\/36.5.409”，“volume”：”36“，“author”：“J Canny”，“year”：“1993”，“unstructured”：“Canny，J.：符号确定和存在量词消除的改进算法。计算杂志36（5），409\u2013418（1993）”，“journal-title“：”计算。J.“}，{”key“：”9619_CR6“，”doi-asserted-by“：”crossref“，”unstructured“：”Emiris，I.，Mourrain，B.，Tsigaridas，E.：DMM界：多元（聚合）分离界。摘自：ISSAC 2010\u2014《2010年符号与代数计算国际研讨会论文集》，第243\u2013250页。ACM，纽约（2010）“，”DOI“：”10.1145\/1837934.1837981“}，{”issue“：”1“，”key“：”9619_CR7“，”DOI-asserted-by“：”crossref“，”first page“：“154”，“DOI”：“10.1006\/jcom.2000.0571”，“volume”：“17”，“author”：“M Giusti”，“year”：“2001”，“unstructured”：“Giusti，M.，Lecerf，G.，Salvy，B.：A Gr\u00f用于多项式系统求解的无需60亿的替代方案。J.复杂性17（1），154\u2013211（2001）“，”journal-title“：”J.Complexity“}，{”issue“：”5“，”key“：”9619_CR8“，”doi-asserted-by“：”crossref“，”first-page“：”503“，”doi“：”10.1016\/J.jsc.2011.12.003“，”volume“：“47”，”author“：”A Greuet“，”year“：”2012“，”unstructured“：”Greuet，A.，Guo，F.，Safey El-Din，M.，Zhi，L.：使用平方和对限制为光滑变化的多项式进行全局优化。J.塞姆。计算。47（5），503\u2013518（2012）“，“新闻标题”：“J.Symb。计算。}，{“key”：“9619_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Greuet，A.，Safey El-Din，M.：判定多元多项式下确界的可达性。摘自：ISSAC 2011_u2014第36届符号与代数计算国际研讨会论文集，第131\u2013138页。ACM，纽约（2011）“，“DOI”：“10.1145\/1993886.1993910”}，{“key”：“9619_CR10”，“DOI-asserted-by”：“crossref”，“unstructured”：“Guo，F.，Safey El Din，M.，Zhi，L.：使用广义临界值和平方和对多项式进行全局优化。摘自：ISSAC 2010\u2014《2010年符号和代数计算国际研讨会论文集》，第107页\u2013114。ACM，纽约（2010）“，”DOI“：”10.1145\/1837934.1837960“}，{”issue“：”1“，”key“：”9619_CR11“，“DOI-asserted-by”：“crossref”，“first page”：“70”，“DOI”：“10.1006\/jcom.1999.0529”，“volume”：”16“，”author“：”J Heintz“，”year“：”2000“，”unstructured“：”Heintz，J.、Krick，T.、Puddu，S.、Sabia，J.和Waissbein，A.：高效多项式方程求解的变形技术。J.Complexity 16（1），70\u2013109（2000）“，“journal-title”：“J.Complaxity”}，{“key”：“9619_CR12”，“unstructured”：“Heintz，J.，Schnorr，C.-P.：测试易于计算的多项式。In:Logic and Algorithmic（苏黎世，1980）。L\u2019Enseignement Math\u00e8matique专著，第30卷，第237\u2013254页。Gen\u00e8ve大学，日内瓦（1982）“}，{“key”：“9619_CR13”，“unstructured”：“Jeronimo，G.，Perrucci，D.：标准单纯形上正多项式的最小值。J.Symb.Compute.45（4），434\u2013442（2010）”}，}“issue”：“1”，“key“：”9619_CR14“，”doi-asserted-by“：”crossref“，”first page“：“1“，”doi“：”10.1007 \/s1028-008-9024-2“，“卷”：“9”，“作者”：“G Jeronimo”，“年份”：“2009”，“非结构化”：“Jeronimo，G.，Matera，G.，Solern \u00f3，P.，Waissbein，A.：稀疏系统的变形技术。已找到。计算。数学。9（1），1\u201350（2009）“，“新闻标题”：“发现。计算。数学。“}，{”issue“：”1“，”key“：”9619_CR15“，”doi-asserted-by“：”crossref“，”first-pages“：”195“，“doi”：“10.1007\/s00454-009-9200-4”，“volume”：“44”，“author”：“G Jeronimo”，“year”：“2010”，“unstructured”：“Jeronimo，G.，Perrucci，D.，Sabia，J.：实多元多项式上的符号条件。离散计算Geom.44（1），195\u2013222（2010）“，”日志标题“：”离散计算。地理。“}，{”issue“：”1“，”key“：”9619_CR16“，”doi-asserted-by“：”crossref“，”first-pages“：”241“，“doi”：“10.1137\/110857751”，“volume”：“23”，“author”：“G Jeronimo”，“year”：“2013”，“unstructured”：“Jeronimo，G.，Perrucci，D.，Tsigaridas，E.：关于基本封闭半代数集上多项式函数的最小值和应用。SIAM J.Optim.23（1），241\u2013255（2013）“，“新闻标题”：“SIAM J.Optim。“}，{“key”：“9619_CR17”，“volume-title”：“数值分析。科学计算数学”，“author”：“D Kincaid”，“year”：“1991”，“unstructured”：“Kincaid，D.，Cheney，W.：数值分析。科技计算数学。Brooks \/Cole Publishing Co.，Pacific Grove，CA（1991）”}，}“issue”：“3”，“key“：”9619_CR18“，”doi-asserted-by“：”crossref“，”第一页“：”796“，”DOI“：”10.1137\/S1052623400366802“，”卷“：”11“，”作者“：”JB Lasserre“，”年份“：”2001“，”非结构化“：”LasserreJ.B.：多项式全局优化和矩量问题。SIAM J.Optim公司。11（3），796\u2013817（2001）“，“新闻标题”：“SIAM J.Optim。“}，{”issue“：”3“，”key“：”9619_CR19“，”doi-asserted-by“：”crossref“，”first-page“：”587“，”doi“：”10.1007\/s10107-005-0672-6“，”volume“：“106”，”author“：”J Nie“，”year“：”2006“，”unstructured“：”Nie，J.Demmel，J.，Sturmfels，B.：通过梯度理想上的平方和最小化多项式。数学程序。106（3），587\u2013606（2006年）“，”新闻标题“：”数学。程序。“}，{”issue“：”2“，”key“：”9619_CR20“，”doi-asserted-by“：”crossref“，”first-page“：”293“，”doi“：”10.1007\/s10107-003-0387-5“，”volume“：“92”，”author“：”PA-Parrilo“，”year“：”2003“，”unstructured“：”Parrilo，P.A.：半代数问题的半定义松弛。Math.Program.92（2），293\u2013320（2003）“，”journal-title“：“数学程序”}，{“键”：“9619_CR21”，“doi由“：”crossref“，”非结构化“：”Parrilo，P.A.，Sturmfels，B.：最小化多项式函数。摘自：《算法和定量实代数几何》，《离散数学和理论计算机科学DIMACS系列》，第60卷，第83\u201399页。美国数学学会，普罗维登斯，RI（2003）“，”DOI“：”10.1090\/dimacs\/060\/08“}，{”issue“：”35“，”key“：”9619_CR22“，”DOI-asserted-by“：”crossref“，”first page“：“4715”，“DOI”：“10.1016\/j.tcs.2011.05.006”，“volume”：“412”，“author”：“D Perrucci”，“year”：“2011”，“unstructured”：“”Perrucci，D.：符号确定的线性求解。西奥。计算。科学。412（35），4715\u20134720（2011）“，“新闻标题”：“Theor。计算。科学。}，{“key”：“9619_CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“Safey El-Din，M.：计算实数上多元多项式的全局最优值。摘自：ISSAC，pp.71\u201378。ACM，纽约（2008）“，“DOI”：“10.1145\/1390768.1390781”}，{“key”：“9619_CR24”，“volume-title”：“Basic Algebraic Geometry，Study Edition”，“author”：“I Shafarevich”，“year”：“1977”，“unstructured”：“Shafare维奇，I.：Basic Algerbraic Geology，Studing Edition.Springer，Berlin（1977）”}、{“issue”：“3”，“key“9619-CR25”，“DOI-asserted-by”：“crossref”，“首页”：“920”，“DOI”：“10.1137\/050647098”，“volume”：“17”，“author”：“M Schweighofer”，“year”：“2006”，“nonstructured”：“Schweighofer，M.：使用梯度触角和平方和对多项式进行全局优化。SIAM J.Optim公司。17（3），920\u2013942（2006）“，“新闻标题”：“SIAM J.Optim。“}，{”key“：”9619_CR26“，”volume-title“：”Modern Computer Algebra“，”author“：”J zur Gather von“，”year“：”1999“，”unstructured“：”von zur gather，J.，Gerhard，J.：现代计算机代数。剑桥大学出版社，纽约（1999）“}”，“container-title”：[“离散与计算几何”]，“原始标题”：[]，“语言”：“en”，“链接”：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/s00454-014-9619-0.pdf“，”content-type“：”application\/pdf“、”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL“：”http://\/lindex.springer\com/article\/10.10007\/s00454/9619-0\/fulltext.html“，”内容-type”：“text\/html”，“content-versiion”：“vor”，“intended-application”“：”text-mining“}，{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/s00454-014-9619-0“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,8,13]]，”date-time“：“2019-08-13T21:57:09Z”，”timestamp“：1565733429000}，“score”：1，“resource”：{“primary”:{“URL”：“http:\/\/link.springer.com/10.1007\/s00454-014-9619-0“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2014,8,14]]}，“references-count”：26，“journal-issue”：{“issue”：“2”，“published-print”：{-“日期部分”：[2014,9]}}、“alternative-id”：[“9619”]，“URL”：“http://\/dx.doi.org \/10.1007\/s00454-014-9619-0“，”关系“：{}，”ISSN“：[”0179-5376“，”1432-0444“]，“issn-type”：[{“value”：“0179-5376”，“type”:“print”}，{“value”：“1432-0442”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2014,8,14]]}}}