{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,6,7]]，“日期时间”：“2024-06-07T11:59:08Z”，“时间戳”：1717761548410}，“出版商位置”：“柏林\/Heidelberg”，“引用计数”：16，“出版者”：“Springer-Verlag”，“isbn-type”：[{“值”：“3540133720”，类型：“打印”}]，“内容域”：{“域”：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“DOI”：“10.1007\/bfb0030287”，“type”：“book-chapter”，“created”：{“date-parts”：[[2006,1,25]]，“date-time”：“2006-01-25T15:19:29Z”，“timestamp”：1138202369000}，”page：“17-31”，“source”：”Crossref“，”is-referenced-by-count“：56，”title“：[“代数闭域理论中量词消去的复杂性”]，“前缀”：“10.1007”，“作者”：[｛“给定”：“A.L.”，“家族”：“Chistov”，“序列”：“first”，“附属关系”：[]｝，｛“给定”：“D.Yu.”，“家族”：“Grigor'ev”，“序列”：“additional”，“附属关系”：[]｝]，“成员”：“297”，“引用”：[｛“key”：“2_CR1”，“nonstructured”：“Chistov A.L.，Grigor’ev D.Yu。全局域上多变量多项式的多项式时间因式分解。\u2014 LOMI预印本E-5-82，列宁格勒，1982。”}，{“key”：“2_CR2”，“unstructured”：“Chithov A.L..，Grigor'ev D.Yu。代数方程的次指数时间求解系统。I.\u2014 LOMI预印版E-9-83，列宁格勒，1983，“非结构化”：“Chistov A.L.，Grigor’ev D.Yu。亚指数时间代数方程组求解系统。II.\u2014 LOMI预印本E-10-83，列宁格勒，1983。”}，{“key”：“2_CR4”，“非结构性”：“Chistov A.L.，Grigor’ev D.Yu。多项式的多项式时间因子分解和次指数时间求解系统以及量词消除。\u2014年LOMI科学研讨会笔记，列宁格勒，1984年，第137卷。”}，{“key”：“2_CR5”，“doi-asserted-by”：“crossref”，“first page”：”134“，“doi”：“10.1007\/3-5407-4_17”，“volume”：《33》，“author”：“G.E.Collins”，“year”：“1975”，“unstructured”：“Collins G.E.Quantifier exclusion for real closed fields by cylinder algebratical decomposition.\u2014 Lect.Notes Compute.Sci.，1975，vol.33，p.134\u2013183.”，“journal-title”：“Lect.Notes Compute.Sic.”}，{“key”：“2_CR6”，“doi-asserted-by”：“crossref”，“first page”：《281》，“doi”：“10.1007\/3-540-10856-4_94”，“volume”：”118，“author”：“D.Grigor’ev”，“year”：“1981”，“unstructured”：“Grigor‘ev D.Yu.交换环上双线性形式的乘法复杂性。\u2014 Lect.Notes Comp.Sci.，1981，vol.118，p.281\u2013286.”，“日记标题”：“Lect.Notes Comp.Sci.”}，{“key”：“2_CR7”，“非结构化”：“Heintz J。代数闭域中的可定义性和快速量词消除。\u2014年准备。西德法兰克福大学，1981年12月。“}，{”key“：”2_CR8“，”doi-asserted-by“：”crossref“，”unstructured“：”Kaltofen E.从多元到二元积分多项式因式分解的多项式简化。\u2014年第14届ACM Symp.th.Comput.，纽约，1982年5月，第261\u2013266页。“，”doi“：”10.1145\/800070.802200“}”，{“key”：“2_CR9”，“doi-assert-by”：“”crossref”，“非结构化”：“Kaltofen E.从二变量到单变量积分多项式分解的多项式时间约简。\u2014年第23届IEEE交响乐会。找到的组件。科学。，纽约，1982年10月，第57\u201364页。“，”DOI“：”10.1109\/SFCS.1982.56“}，{“key”：“2_CR10”，“DOI-asserted-by”：“crossref”，“first page”：”165“，”DOI“：“10.24033\/bsmf.1848”，“volume”：：“105”，“author”：“D.Lazard”，“year”：“1977”，“unstructured”：“Lazard D.Alg\u00e9bre lin\u00e9aire sur k[X 1，…，X N]et\u00e9限制。\u2014牛市。社会数学。法国，1977年，第105卷，第165\u2013190页。”，“新闻标题”：“公牛。社会数学。法国“}，{”key“：”2_CR11“，”doi-asserted-by“：”crossref“，”first page“：“77”，“doi”：“10.1016\/0304-3975（81）90064-5”，“volume”：“15”，“author”：“D.Lazard”，“year”：“1981”，“unstructured”：“Lazard D.R\u00e9solutions des syst\u00e8mes D'\u00e 9quations alg\u00o9briques.\u2014 Theor Compute.Sci.，1981，vol.15，p.77\u2013110.“，”杂志标题“：”Theor Compute.Sci.“}，{”key“：”2_CR12“，”doi-asserted-by“：”crossref“，”first-page“：”515“，”doi“：”10.1007\/BF01457454“，”volume“：“261”，”author“：”A.K.Lenstra“，”year“：”1982“，”unstructured“：”Lenstra A.K.，Lenstra H.W.，Lovasz L.有理系数因子多项式。\u2014数学。Ann.，1982年，第261卷，第515\u2013534页。“，“期刊标题”：“数学。Ann.“}，{”key“：”2_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”Lenstra A.K.分解有限域上的多元多项式。\u2014预印数学。Centrum Amsterdam，IW 221\/83，Februari，1983年。“，”doi“：”10.1145\/800061.808748“}”，{“key”：“2_CR14”，“doi-assert-by”：“Crosref”，“unstructure”：“Shafarevich I.R。基本代数几何。\u2014 Springer-Verlag，1974年。“，”DOI“：”10.1007\/978-3-642-96200-4“}，{”key“：”2_CR15“，”DOI-asserted-by“：”crossref“，”first page“：“138”，“DOI”：“10.1007\/3-540-07805-3_10”，“volume”：“43”，“author”：“H.R.W\u00fcthrich”，“year”：“1976”，“unstructured”：“W\u005thrich H.R。Ein Entscheidungsverfahren f\u00fcr die Theorye der relelabgeschlossenen K\u00f6rper。\u2014年Lect。票据计算。科学。，1976年，第43卷，第138\u2013162页。注释计算。科学。“}，{”key“：”2_CR16“，”doi-asserted-by“：”crossref“，”unstructured“：”Zarisk O.，Samuel P.交换代数，第1卷，第2卷。\u2014 van Nostrand，1960。“，”DOI“：”10.1007\/978-3662-29244-0_1“}]，”container-title“：[”1984年计算机科学的数学基础“，”计算机科学课堂讲稿“]，”original-title”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10007\/BFBb0030287.pdf“，”content-type“：”unspecified“，”“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,12,9]]，”date-time“：”2020-12-09T22:00:49Z“，”timestamp“：1607551249000}，”score“：1，”resource“：{primary”：{“URL”：“http://\link.sprimary.com\/10007\/BFBb0030287”}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[null]]}，“ISBN”：[“3540133720”]，“references-count”：16，“URL“：”http://\/dx.doi.org\/10.1007\/bfb0030287“，”关系“：{}，”主题“：[]}}