{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,18]]，“日期-时间”：“2024-04-18T07:40:01Z”，“时间戳”：1713426001790}，“参考-计数”：22，“出版商”：“Springer Science and Business Media LLC”，“问题”：“2”，“许可证”：[{“开始”：}“日期-零件”：[[1994,1]]，”日期-时间“：“1994-01-01T00:00:00Z”，“timestamp”：757382400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springernature.com//gp\/researters\/text-and-data-mining”}，{“start”：{“date-parts”：[[1994,1]]，“date-time”：“1994-01-01T00:00:00Z”，“timetamp”：75 7382400000}，”content-versiion“：”vor“，“delay-in-daies”：0、“URL”：“https:\/\/www.springernature.com//gp\/researters\/text-and-data-mining”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[“Discrete Compute Geom”]，”published-print“：{”date-parts“：[[1994,1]]}，”DOI“：”10.1007\/bf02573999“，”type“：”journal-article“，”“created“：”{“date-part”：[2007,3,22]]，“date-time”：“2007-03-22T12:08:49Z”，“timestamp”：1174565329000}，“page”：“121-140”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：22，“title”：[“单指数时间内半代数集的连通分量的描述”]，“前缀”：“10.1007”，“卷”：“11”，“author”用法：[{“given”：“Joos”，“family”：“Heintz”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Marie-Francoise”，“家庭”：“Roy”，“序列”：“additional”，“filiance”：[]}，}“giving”：“Pablo”，“家族”：“Solern\u00f3”，“sequence”:“additionable”，“atriation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[199]4,2,1]]}，“参考”：[{“键”：“BF02573999_CR1”，“series-title”：“Ergebnisse der Mathematik und ihrer Genzgebiete，3 Folge”，“volume-title”：“G\u00e9om\u00e9trie-alg\u00e 9brique r\u00e9 elle”，“author”：“J.Bochnak”，“year”：“1987”，“unstructured”：“[BCR]Bochnack，J.，Coste，M.，Roy，M.-F.：G\u001e9om\ u00e9-trie-alg \u00a9briquer \u00e_9elle。Gebnisse der Mathematik und ihrer Genzgebiete，3 Folge Band 12。Springer-Verlag，Berlin，1987年。“}，{”key“：”BF02573999_CR2“，”doi-asserted-by“：”crossref“，”unstructured“：”[Ca1]Canny，J.：《PSPACE.Proc.20 Ann.ACM计算理论交响曲》，1988年，第460\u2013467页。“，”doi“：”10.1145\/6222.62257“}”，{“key”：“BF025739 99_CR3”，“volume-title”：“”机器人运动规划的复杂性”，“作者”：“J.Canny”，“年份”：“1989年”，“非结构化”：“[Ca2]Canny，J.：机器人运动规划复杂性。麻省理工学院出版社，马萨诸塞州剑桥，1989年。“}，{”问题“：“4”，”关键“：“BF02573999_CR4”，“doi-asserted-by”：“publisher”，“first page”：“217”，“doi”：“10.1007\/BF01614146”，“volume”：”2“，“author”：“J.Canny”，“year”：“1992”，“unstructured”：“[CGV]Canny，J.，Grigor’ev，D.Yu.，Vorobjov，N.（Jr.）：在次指数时间内寻找半代数集的连通分量。AAECC J.\n2（4）（1992），217\u2013238.“，”journal-title“：”AAECC J“}，{“key”：“BF02573999_CR5”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：”134“，”doi“：”10.1007\/3-540-07407-4_17“，”volume-title：“Proc.Second GI Conf.on Automata Theory and Formal Languages”，“author”：“G.Collins”，”年“：”1975“，”非结构化“：”[Co]Collins，G.：通过圆柱代数分解消除实闭场的量词。程序。关于自动机理论和形式语言的第二次GI会议。《计算机科学讲义》，第33卷。Springer-Verlag，Berlin，1975，第134\u2013183页。“}，{“key”：“BF02573999_CR6”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：《93》，“doi”：“10.1007”，《volume-title》：“Proc.13th Conf.Symp.MFCS”，“author”：“J.von zer Gathern”，“year”：“1986”，“unstructured”：“[G1]von zer Gathern，J.：平行模拟计算：一项调查。程序。第十三届Conf.Symp。MFCS公司。计算机科学讲义，第233卷。Springer-Verlag，Berlin，1986年，第93\u2013112页。2013108.“，”杂志标题“：”J。符号计算。“}，{”key“：”BF02573999_CR8“，”first page“：“879”，“volume”：“312”，“author”：“D.Yu Grigor’ev”，“year”：“1990”，“unstructured”：“[GHR+]Grigor‘ev，D.Yu，Heintz，J.，Roy，M.-F.，Solern\u00f3，P.，Vorobjov，N.（Jr.）：Comptage des compositions connexes D'un semilg\u00e9brique en temps simplement exponentiel.C.R。阿卡德。科学。巴黎S\u00e9r。I \n312（1990），879\u2013882。“，“新闻标题”：“C.R.Acad。科学。巴黎S\u00e9r。I“}，{“key”：“BF02573999_CR9”，“unstructured”：“[GR]Gournay，L.，Risler，J.-J.：半代数集合中路线图的构造。J.应用代数工程通信计算（待显示）。”}，}“key”：”BF025739 99_CR10“，”doi-asserted-by“：”publisher“，”first page“：”37“，”doi“：”10.1016\/S0747-7171（88）80005-1“，”volume“：“5”，“author”“：”D.Grigor’ev“，”年份“：”1988“，”非结构化“：”[GV1]Grigor'ev，D.，Vorobjov，N.N.（Jr.）：求解次指数时间内的多项式不等式组。J.符号计算。\n5（1988），37\u201364。”，“新闻标题”：“符号计算杂志。“}，{”key“：”BF02573999_CR11“，”unstructured“：”[GV2]Grigor'ev，D.，Vorobjov，N.N.（Jr.）：计算次指数时间内半代数集的连通分量。计算复杂性（待显示）。“}”，{“key”：“BF025739 99_CR12”，“首页”：“293”，“卷时间”：“Proc.Information Processing（IFIP’89），San Francisco，1989”，“作者”：“J.Heintz”，“年份”：“”1989年“，“非结构化”：“[HRS1]Heintz，J.，Roy，M.-F.，Solern\u00f3，P.：关于半代数集的复杂性。程序。信息处理（IFIP’89），旧金山，1989年（G.X.Ritter编辑）。North-Holland，Amsterdam，1989年，第293\u2013298页。“}，{”key“：”BF02573999_CR13“，”doi-asserted-by“：”publisher“，”first page“：“101”，”doi“：”10.24033\/bsmf.2138“，“volume”：“118”，“author”：“J.Heintz”，“year”：“1990”，“unstructured”：“[HRS2]Heintz，J.，Roy，M.-F，Solern \u00f3，P.：Sur la complexit\u00e9 du principal e de Tarski-Seidenberg.公牛协会。数学。法国\n118（1990），101\u2013126.”，“新闻标题”：“公牛。社会数学。法国“}，{”key“：”BF02573999_CR14“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：“180”，”doi“：”10.1007 \/3-540-54195-0_50“，”volume-title“：“离散与应用数学，第八届国际应用代数大会，纠错代数算法，代码AAECC-8，东京，1990”，“作者”：“J。Heintz“，”year“：”1991“，”unstructured“：”[HRS3]Heintz，J.，Roy，M.-F.，Solern\u00f3，P.：半代数集中的单指数路径查找。第一部分：正则有界超曲面的情形。离散与应用数学，Proc。第八国际。应用代数会议，纠错代数算法，代码AAECC-8，东京，1990年（S.Sakata编辑）。计算机科学讲义，第508卷。Springer-Verlag，Berlin，1991年，第180\u2013186页key“：”BF02573999_CR16“，”首页“：”167“，”卷“：”313“，”作者“：”J.Heintz“，”年份“：”1991“，”非结构化“：”[HRS5]Heintz，J.，Roy，M.-F，Solern\u00f3，P.：描述复合材料连接的非集成半对数\u00e9brique en temps简化指数。C.R.学院。科学。巴黎S\u00e9r。1\n313（1991），167\u2013170.“，“新闻标题”：“C.R.Acad。科学。巴黎S\u00e9r。1“}，{”key“：”BF02573999_CR17“，”series-title“：”EATCS理论计算机科学专著“，”volume-title“：“数据结构与算法”，”author“：”K.Mehlhorn“，”year“：”1984“，”unstructured“：”[M]Mehlhorn.，K.：数据结构和算法，第2卷。EATCS理论计算机科学专著，第2卷，Springer-Verlag，Berlin，1984年。“}，{”key“：”BF02573999_CR18“，”doi-asserted-by“：”publisher“，”first page“：“255”，“doi”：“10.1016\/S0747-7171（10）80003-3”，“volume”：“13”，“author”：“J.Renegar”，“year”：“1992”，“unstructured”：“[R1]Renegar，J.：关于实一阶理论的计算复杂性和几何，I.J.符号计算。\n13（1992），255\u2013300。“，“journal-title”：“J.符号计算。“｝，｛”key“：”BF02573999_CR19“，”doi asserted by“：”publisher“，”first page“：”301“，”doi“：”10.1016/S0747-7171（10）80004-5“，”volume“：”13“，”author“：”J.Renegar“，”year“：”1992“，”nonstructured“：”[R2]Renegar，J.：论实数一阶理论的计算复杂性和几何，II.J.Symbolic Comput.\n13（1992），301\u2013328.“，”journal-title“：《符号计算杂志》。“}，{”key“：”BF02573999_CR20“，”doi-asserted-by“：”publisher“，”first page“：“329”“，”doi“：”10.1016\/S0747-7171（10）80005-7“，“volume”：“13”，“author”：“J.Renegar”，“year”：“1992”，“unstructured”：“[R3]Renega，J.：关于实一阶理论的计算复杂性和几何，III.J.符号计算。\n13（1992），329\u2013352。”，“journal-title“：《符号计算杂志》。“}，{”key“：”BF02573999_CR21“，”doi-asserted-by“：”publisher“，”首页“：”298“，”doi“：”10.1016\/0196-8858（83）90014-3“，”卷“：”4“，”作者“：”J.Schwartz“，”年份“：”1983“，”非结构化“：”[SS]Schwartz，J.，Sharir，M.：关于移动者问题。二、。计算实代数流形拓扑性质的一般技术。申请中的预付款。数学。\n4（1983），298\u2013351.“，“期刊标题”：“申请中的高级。数学。“}，{”key“：”BF02573999_CR22“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“138”，”doi“：”10.1007\/3-540-07805-3_10“，”volume-title“：“Komplexit\u00e4t von Entscheidungsproblemen”，“author”：“H.W\u00fctrich”，“year”：“1976”，“unstructured”：“[W]W\u00fchrich，H.：Ein Entscheidungsverfahren f\u00fcr die Theory der relel-abgeschlos-sene K\u00f6rper。Entscheidungs problemen的难题（E.Specker和V.Strassen编辑）。计算机科学讲义，第43卷，Springer-Verlag，柏林，1976年，第138\u2013162页intended-application“：”text-mining“}，{“URL”：“https:\/\/link.springer.com/article\/10.1007\/BF02573999\/fulltext.html”，“内容类型”：“text\/html”，“content-version”：“vor”，“intended-application”：“text-mining”}，}“URL“：”http://\/link.springer.com\/content\/pdf\/10.10007\/BF002573999“，”内容类型“：”unspecified“，”content-versions“：”vor“，”intended-application“：”similarity-checking“}，{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1007\/BF02573999.pdf”，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“similarity-checkinging”}]，“deposed”：{“date-parts”：[2024,4,18]]，“date-time”：”2024-04-18T07:10:50Z“timestamp”：1713424250000}，“score”：1，“resource“：{”primary”：{“URL”：“https:\/\/link.springer.com/10.1007\/BF02573999”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{date-parts“：[[1994,1]]}，”references-count“：22，”journal-issue“：{issue”：“2”，“published-print”：{“date-part”：[[1999,1]}、“alternative-id”：[“BF025739999”]，“”URL“：”http://\/dx.doi.org\/10.1007\/BF02573999“，”关系“：{}，”ISSN“：[”0179-5376“，”1432-0444“]，”issn-type“：[{”value“：”0179-537.6“，“type”：”print“}，{”value“：”1432-00444“，”type“:”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[1994,1]]}，”assertion“：[[{“value”：“1992年6月8日”，“order”：1，“name”：“received”，“label”：“received”，”group“名称”：“Article History”，“标签”：“文章历史”}}，{“value”：“1993年2月25日”，“order“：2，”name“：”revised“，”label“：”Revied“，”group“：}}