{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,5]]，“日期-时间”：“2024-04-05T08:32:25Z”，“时间戳”：1712305945172}，“参考-计数”：27，“出版商”：“Springer Science and Business Media LLC”：“1995-11-01T00:00:00Z”，“timestamp”：81518400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”AAECC“]，”published-print“：{”date-parts“：[[1995,11]}”，“DOI”：“10.1007\/bf01198015”，“type”：“journ”al-article“，”created“：{”date-parts“：[[2005,2,24]]，“date-time”：“2005-02-24T13:15:20Z”，“timestamp”：1109250920000}，“page”：“353-376”，“source”：”Crossref“，”is-referenced-by-count“：22，“title”：[“Nullstellensatz中完全交点和度数的迹线边界”]，“prefix”：“10.1007”，“volume”:“6”，”author“：[{”given“：”Juan“，”family“：”Sabia“，”sequence“：”first“，“affiliation”：[]}，{“given”“：”巴勃罗“，“family”：“Solern \u00f3”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛“key”：“BF01198015_CR1”，“nonstructured”：“Becker，E.，W\u00f6rman，T.：关于二次型和一些应用的跟踪公式。出现在Proc.RASQUAD，Berkeley”｝，｛“key”：“BF01198015_CR2”，“doi asserted by”：“crossref”，“first page”：“203”，“doi”“：”10.1016\/0024-3795（91）90115-D“，”volume“：”157“，“author”：“C.Berenstein”，“year”：“1991”，“unstructured”：“Berenstein.C.，Struppa，D.：有效Nullstellensatz复杂性的最新改进。线性代数及其应用157203\u2013215（1991）”，“journal-title”：“线性代数的应用”}，{“key”：“BF01198015_CR3”，“doi-asserted-by”：“crossref”，“首页”：“25”，“DOI”：“10.1307\/mmj\/1029004064”，“卷”：“37”，“作者”：“C.Berenstein”，“年份”：“1990”，“非结构化”：“Berenstei，C.，Yger，A.：除法问题中的学位界限。Mich.Math.J.37，25\u201343（1990）”，“日志标题”：“Mich.Meth.J.”}，{“问题”：“3”，“关键字”：“BF01198015_CR4”，”DOI-asserted-by“：”crossref“，”first page“：”577“，“DOI”：“10.2307\/1971361”，“volume”：“126”，“author”：“D.Brownawel”，“year”：“1987”，“unstructured”：“Brownawell，D.：Nullstellensatz.Ann.Math.Second Series126（3），577\u2013591（1987）”，“journal-title”：“Ann.Math2ond Series”}，{“key”：科学”，“author”：“L.Caniglia”，“year”：“1989”，“unstructured”：“Cariglia，L.，Galligo，A.，Heintz，J.：计算几何中的一些新有效性边界。第6期国际会议。《应用代数、代数算法和纠错码AAECC-6》，罗马，1988年，计算机科学讲稿。柏林，海德堡，纽约：Springer vol.357，131\u2013151（1989）“}，{“key”：“BF01198015_CR6”，“unstructured”：“Cardinal，J.-P.：Dualit\u00e9 et algorithmes it\u00e9ratifs pour la r \u00e 9solution de syst\u00e_8mes polynomiaux。Thesis University \u00e9 de Rennes（1993）”}，“key“：”BF011980015_CR7“，”doi-asserted-by“：”crossref“，“first page”：“73”，“doi”：“10.1016\/0166-218X（91）90109-A“，“volume”：“33”，“author”：“A.Dickenstein”，“year”：“1991”，“unstructured”：“Dickenstien，A.，Giusti，M.，Fitchas，N.，Sessa，C.：非混合多项式理想的隶属度问题在单指数时间内是可解的。离散应用程序。数学33，73\u201394（1991）“，“期刊标题”：“离散应用。数学。“｝，｛”key“：”BF01198015_CR8“，”doi asserted by“：”crossref“，”first page“：”149“，”doi“：”10.1016/0022-4049（91）90080-L“，”volume“：”74“，”author“：”A.Dickenstein“，”year“：”1991“，”nonstructured“：”Dickenstein，A.，Sessa，C.：u2102[z1，…，zn].J.Pure Appl.Agebra74，149\u2013158（1991）“，”新闻标题“：”J.Pure Appl。代数“}，{”key“：”BF01198015_CR9“，”doi-asserted-by“：”crossref“，”first page“：“277”，”doi“：”10.1006\/jsco.1993.1020“，“volume”：“15”，“author”：“T.Dub\u00e9”，“year”：“1993”，“unstructured”：“Dub\u 00e9，T.：有效Nullstellensatz.J.Symb.Comp.15，277\u 2013296（1993）”，“journal-title”：“J.符号组件”}，{“键”：“BF01198015_CR10“，”doi-asserted-by“：”crossref“，”first page“：”231“，”doi“：”10.1002\/mana.19901490118“，”volume“：“149”，”author“：”N.Fitchas“，”year“：”1990“，”unstructured“：”Fitchas，N.，Galligo，A.：Nullstellensatz effectif et consuburchitecture de Serre（th\u00e9 or \u00e8me de Quillen-Suslin）pour le Calcul Formel。数学。Nachr.149231\u2013253（1990）“，“新闻标题”：“数学。纳克里斯。“}，{”key“：”BF01198015_CR11“，”unstructured“：”Fitchas，N.，Giusti，M.，Smietanski，F.：Sur la complexit\u00e9 du th\u00e9or \u00e 8me des z\u00e_9ros.预印科理工大学Palaiseau（1992）“}Giusti，M.，Heintz，J.：La d\u00e9终止des points isol\u00e9s et de La dimension d'une vari\u00e9t\u00e9-alg\u00e 9brique peut se faire en temps多项式。出现在程序中。《交换代数国际会议》，科尔托纳，1991年“}，{“key”：“BF01198015_CR13”，“doi-asserted-by”：“crossref”，“first page”：第56页，“doi”：“10.1007\/BF01200407”，“volume”：《3》，“author”：“M.Giusti”，“year”：“1993”，“unstructured”：“Giusti，M.，Heintz，J.，Sabia，J.：关于有效Nullstellens\u00e4tze.计算复杂性3，56\u 201395（1993）“，”journal-title“：”计算。复杂性“}，{“key”：“BF01198015_CR14”，“doi-asserted-by”：“crossref”，“首页”：“239”，“doi”：“10.1016\/0304-3975（83）90002-6”，“卷”：“24”，“作者”：“J.Heintz”，“年份”：“1983”，“非结构化”：“Heintz，J.：代数闭域中的可定义性和快速量词消除。理论。计算科学.24，239\u2013277（1983）”，“日志标题”：“理论。计算。科学。“}，{”key“：”BF01198015_CR15“，”volume-title“：”数学中的Lect.Notes.vol.310“，”author“：”B.Iversen“，”year“：”1973“，”unstructured“：”Iversen，B.：交换代数中的泛型局部结构。数学中的Lect.Notes vol.310。柏林，海德堡，纽约：Springer 1973“}，{“key”：“BF01198015_CR16”，“volume-title”：“Progress in Math.vol.42”，“author”：“J.-P.Jouanolou”，“year”：“1983”，“unstructured”：“Jouanolu，J.-P.：Th\u00e9 or \u00e 8mes de Bertini et applications.Progress in数学。vol.42。巴塞尔：Birkh\u00e4user（1983）“}，{”key“：”BF01198015_CR17“，”首页“：”181“，”卷“：”381“，”author“：”M.Kreuzer“，“年份”：”1987“，”unstructured“：”Kreuzer，M.，Kunz，E.：严格Frobenius代数和严格完全交集中的迹。J.Reine Angew.Math.381，181\u2013204（1987）“，”journal title“：”J.Reine-Angew.Math“}”，{“key”：“”BF01198015_CR18“，“首页”：“963”，“卷”：“1”，“作者”：“J.Koll\u00e1r”，“年份”：“1988”，“非结构化”：“Koll\u 00e1R，J.：夏普有效Nullstellensatz。J.AMS1，963\u2013975（1988）“，”journal-title“：”J.AMS“}，{“key”：“BF01198015_CR19”，“doi-asserted-by”：“crossref”，“unstructured”：“Kunz，E.：K\u00e4lher Differentials.Adv.Lect.in Math.Vieweg Verlag（1986）”，“doi”：“10.1007\/978-3663-14074-0”}，“key“：”BF011980015_CR20“，”第一页“：”259“，”volume me-title“：“计算机科学讲座笔记第357卷”，“author“：”A.Logar“，”year“：”1989“，”unstructured“：”Logar，A.：Noether正规化引理的计算证明。程序。第六届国际应用代数、代数算法和纠错码学术会议AAECC-6，Roma 1988，《计算机科学讲义》第357卷，第259\u2013273页。柏林，海德堡，纽约：Springer 1989“}，{“key”：“BF01198015_CR21”，“unstructured”：“Matsumura，H.：交换代数。Benjamin（1970）”}，}，“key“：”BF011980015_CR22“，”unstructure“：“Matsumura，H：交换环理论。剑桥高级数学研究。第8卷。剑桥大学出版社（1989）“}，{“key”：“BF01198015_CR23”，“volume-title”：“数学中的Lect.注释.vol.1358”，“author”：“D.Mumford”，“year”：“1988”，“unstructured”：“MumfordD.：《品种和方案红皮书》.数学中的Lect.注释.vol.1358。柏林，海德堡，纽约：Springer 1988“}，{“key”：“BF01198015_CR24”，“doi-asserted-by”：“crossref”，“unstructured”：“Pedersen，P.，Roy，M.-F，Szpirglas，A.：计算多变量情况下的实数零。出现在Proc.MEGA 92中”，“doi”：“10.1007\/9781-4612-2752-6_15”}，}“key”：”BF011980015_CR25“，”第一页“：“174”，”卷“：”278“，”作者“：”G。Scheja”，“年份”：“1975年”，“非结构化”：“Schejia，G.，Storch，U.：\u00dcber Spurfunktionen bei vollst\u00e4ndigen Durchschnitten。J.Reine Angew。Math.278，174\u2013190（1975）“，“新闻标题”：“J.Reine Angew。数学。“}，{”key“：”BF01198015_CR26“，”first page“：“107”，“volume”：“189\u2013190”，“author”：“B.Teissier”，“year”：“1991”，“unstructured”：“Tessier，B.：R\u00e9sultats R\u00e9 cents d'alg\u00e 8bre communive effective.S\u00e_9minaire Bourbaki 1989\u20131990，Ast\u00e9%risque vol.189\u20131900，107\u2013131（1991）”，“journal-title”：“Ast\u00e9risque”}，{“key”：“BF01198015_CR27“，”首页“：”48“，”卷标签“：”LN计算。科学。vol.539”，“作者”：“W.Vasconcelos”，“年份”：“1992”，“非结构化”：“Vasconcelos，W.：代数中的雅可比矩阵和构造。程序。第九届国际应用代数大会，代数算法和纠错码AAECC-9，新奥尔良，1991年，LN Comput。科学。第539卷，第48\u201364页。柏林，海德堡，纽约：Springer 1992“}]，“container-title”：[“工程、通信和计算中的应用代数”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/BF01198015.pdf”，“内容类型”：“应用程序\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http:\/\/link.springer.com\/article\/10.1007\/BF01198015\/fulltext.html”，“内容类型”：“text\/html”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝，｛“URL”：“http:\/\/link.springer.com\/content/pdf\/10.1007\/BF011980198015”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”｝]，”存放“：{“date-parts”：[[2019,5,1]]，“date-time”：“2019-05-01T16:49:43Z”，“timestamp”：1556729383000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\/link.springer.com\/10.1007\/BF01198015“}}，”副标题“：[]，”短标题“：[]，“issued”：{“date-ports”：[1995,11]]}，《references-count》：27，“journal-count”问题“：{”问题“：“6”，“published-print”：{“date-parts“：[[1995,11]]}}，”alternative-id“：[”BF01198015“]，”URL“：”http://\/dx.doi.org\/10.1007\/bf01198016“，”relationship“：{}，“ISSN”：[“0938-1279”，“1432-0622”]，“ISSN-type”：[{“value”：“0938/1279”，”type“：”print“}，{“value”：”1432-0662“，”类型“电子”}]，“主题”：[]，“已发布”：{“日期部分”：[[1995,11]]}}}