{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,7,26]]，“日期-时间”：“2024-07-26T19:55:48Z”，“时间戳”：1722023748907}，“参考-计数”：23，“出版商”：“Springer Science and Business Media LLC”，“发行”：“1”，“许可证”：[{“开始”：{-日期-部件“：[[1993,1]]，”日期-时间我“：“1993-03-01T00:00:00Z”，“timestamp”：730944000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Compute Complexity“]，”published-print“：{”date-parts“：[[1993,3]}”，“DOI”：“10.1007\/bf01200406”，“type”：“”journal-article“，”created“：{”date-parts“：[[2005,2,18]]，“date-time”：“2005-02-18T12:08:35Z”，“timestamp”：110872851500}，“page”：“31-55”，“source”：”Crossref“，”is-referenced-by-count“：19，“title”：[“Suslin对Serre猜想的证明的算法方面”]，“prefix”：“10.1007”，“volume”:“3”，“author”：[{“givent”：“Leandro”，“family”：“Caniglia”，”sequence“：”first“，“affiliation”：[]}，{”给定“：”Guillermo“，”family“：“Corti\uffdas”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Silvia”，“family”：“Dan\uffdn”，“序列”：“附加”，“从属关系”：[]}，}“giving”：“Joos”，“家族”：“Heintz”，“顺序”：“额外”，“附属关系”：[]}“Pablo”，“family”：“Solern\uffd”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“CR1”，“doi-asserted-by”：“crossref”，“first-page”：“135”，“doi”：“10.1016\/S0747-7171 135？147。”，“新闻标题”：“J。符号补偿。“}，{”key“：”CR2“，”doi-asserted-by“：”crossref“，”first-page“：”147“，“doi”：“10.1016\/0020-0190（84）90018-8”，“volume”：“18”，“author”：“S.Berkowitz”，“year”：“1984”，“unstructured”：“S.Berkovitz，关于使用少量处理器在小并行时间内计算行列式，Inform.Processing Letters 18（1984），147？150.”，“journal-title”：“”通知。Processing Letters“}，{”issue“：”3“，”key“：”CR3“，“doi-asserted-by”：“crossref”，“first page”：“577”，“doi”：“10.2307\/1971361”，“volume”：”126“，”author“：”W.D.Brownawell“，“year”：“1987”，“unstructured”：“W.D.Brownowell，Bounds for the degree in the Nullstellensatz，Ann.Math.（Second Series）126（3）（1987），577？591.”，“journal title”：“处理信件”数学安“}，{”键“：”CR4“，”doi-asserted-by“：”crossref“，”first page“：”184“，“doi”：“10.1007\/978-94-009-5225-6_6”，“volume-title”：“多维系统理论”，“author”：“B.Buchberger”，“year”：“1985”，“unstructured”：“B.Buchberge，Gr\u00f6bner-Bases：多项式理想理论中的算法方法，多维系统理论，N.K.Bose，ed。，雷德尔出版公司，多德雷赫特，1985，184？232.“}，{”key“：”CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”L.Caniglia，A.Galligo，and J.Heintz，《计算几何中的一些新有效性界限》，第六届国际Conf.应用代数，代数算法和纠错码（AAECC-6），T.Mora，ed.，Springer LN Comp.Sci.357（1989），131？151.“，”doi“：”10.1007\/3-540-51083-4_54“}，{“key”：“CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“L.Caniglia，J.A.Guccione，J.J.Guccione，多项式理想的局部成员问题，代数几何中的有效方法”，T.Mora和C.Traverso，eds.，《数学进展》94，Birkh\u00e4user（1991），31？45.”，“doi”：“10.1007\/978-14612-0441-1_3”}，{“key”：“CR7”，“非结构化”：“F.Chaqui，Algorithme de calcul d'une base pour les modules projectifs sur K[X]，Y]et？[X]，Th\u00e8se 3\u00e8me Cycle，Universit \u00e9 Paris Sud，Centre d‘Orsay（1983）。”}，{“key”：“CR8”，“doi断言为”：“crossref”，“非结构化”：“A。Chistov，任意特征域上矩阵秩的快速并行计算，inProc。国际Conf.FCT 1985，Springer LN Comp。科学.199（1985），63？69.“，”DOI“：”10.1007\/BFb0028792“}，{“key”：”CR9“，”DOI-asserted-by“：”crossref“，”first page“：”231“，“DOI”：”10.1002\/mana.19901490118“，”volume“：“149”，“author”：”N.Fitchas“，”year“：”1990“，”unstructured“：”N.Fitchas and A.Galligo，Nullstellensatz effective et Conjecture de Serre（Th\u00e9 or \u00e 8me德奎伦·苏斯林）pour le Calcul Formel，数学。纳克里斯。149 (1990), 231?253.“，”新闻标题“：”数学。纳克里斯。}，{“key”：“CR10”，“unstructured”：“N.Fitchas，A.Galligo和J.Morgenstern，Algorithmes rapides en s\u00e9quentiel et en parall\u00e8le pour l’\u00e 9limination des quanticateurs en g \u00e_9om\u00e9trie\u00e9 mentaire，收录于F.Delon，M.Dickmann，D.Gondard（编辑），S\u00e9minaire Structures Alg\u00e 9briques Ordonn：S\u00 e9election d'expos\u00 e 9s 1986？1987年出版。巴黎VII32大学（1990），103？145.“}，{”key“：”CR11“，”volume-title“：”Teorya matrits.英文版：矩阵理论，第一卷“，”author“：”F.R.Gantmacher“，”year“：”1977“，”unstructured“：”F-R.Gant macher，Teorya matrits.英语版：矩阵论，第一卷，Chelsea Publishing Company，New York（1977）。“}”，{“key”：“CR12”，“首页”：“93”，“卷”：“233”，“author”：“”J Gather von zur“，“年份”：“1986年”，“非结构化”：“J von zure Gather，并行算术计算：一项调查，Proc。第13交响曲。MFCS 1986，Springer LN Comp.公司。《科学》233（1986），93？112.“，”journal-title“：”Proc。第13交响曲。MFCS 1986，Springer LN Comp.公司。科学。“}，{”key“：”CR13“，”doi-asserted-by“：”crossref“，”first-page“：”736“，”doi“：”10.1007\/BF01206635“，”volume“：“95”，”author“：”G.Hermann“，“year”：“1926”，“unstructured”：“G.Hemann，Die Frage der endlich vielen Schritte in der Theorye der Polynomideale，Math.Ann.95（1926），736？788.”，“journal title”：“Math.Ann.”}，}“key”：“CR14”，“doi-asserted-by”：“crossref”，“第一页“：”963“，”DOI“：”10.2307\/1990996“，”卷“：”1“，”作者“：”J.Koll\u00e1r“，”年份“：”1988“，”非结构化“：”J Koll\u 00e1R，夏普有效Nullstellensatz，J.Am.Math。Soc.1（1988），963？975.“，”杂志标题“：《美国数学杂志》。Soc.“}，{”key“：”CR15“，”doi-asserted-by“：”crossref“，”unstructured“：”E.Kunz，Einf\u00fchrnug in die komusitive Algebra und algebraische Geometrie，F.Vieweg und S\u00f6hne，Braunschweig-Wiesbaden（1980）“，”doi“：”10.1007\/978-3222-85526-8“}”，{“key”：“CR16”，“unstructure”：“T.Y.Lam，Serre’S Conjecture，Springer LN Math.635 Springer-Verlag（1978）。“}，{”key“：”CR17“，”doi-asserted-by“：”crossref“，”first-page“：”231“，”doi“：”10.1016\/0021-8693（92）90189-S“，“volume”：“145”，“author”：“A.Logar”，“year”：“1992”，“unstructured”：“A.Logar and B”。Sturmfels，Quillen-Suslin定理的算法，J.代数145（1992），231？239.“，”journal-title“：”J.Algebra“}，{”key“：”CR18“，”doi-asserted-by“：”crossref“，”first page“：“305”，“doi”：“10.1016\/0001-8708（82）90048-2”，“volume”：“46”，“author”：“E.Mayr”，“year”：“1982”，“unstructured”：“E.Mayr and A.Meyer，交换半群和多项式理想单词问题的复杂性，《数学进展》46（1982），305？329。”，“《数学进展》。“}，{”key“：”CR19“，”doi-asserted-by“：”crossref“，”unstructured“：”K.Mulmuley，计算任意域上矩阵秩的快速并行算法，Proc.18th Ann.ACM Symp.计算理论（1986），338？339.“，”doi“：”10.1145\/12130.12164“}”，{“key”：“CR20”，“unstructure”：“P。Philippon，Th\u00e9或\u00e8对z \u00e9的影响。J.Koll\u00e1r，问题。迪奥夫。1988?89，出版物。数学。巴黎大学VI88（1988）。“}，{”key“：“CR21”，”doi-asserted-by“：”crossref“，”first page“：”273“，”doi“：”10.1090\/S0002-9947-1974-0349648-2“，”volume“：‘197’，”author“：”S.Seidenberg“，“year”：“1974”，“unstructured”：“S.Seienberg，Constructions in AlgebraTrans.Amer.Math.Soc.197（1974），273？313.”，“journal-title”：“Trans.Amer.Meth.Soc.“}，{”键“：”CR22“，”首页“：”191“，”卷“：”61”，“作者”：“J.P.Serre”，“年份”：“1955年”，“非结构化”：“J P.Serle，Faisceaux alg\u00e9briques coh\u00e 9rents，Amer。数学。61 (1955), 191?274.”，“期刊标题”：“Amer。数学。“}，{”key“：”CR23“，”首页“：”107“，”卷“：”189？190“，”author“：”B.Teissier“，”year“：”1991“，”unstructured“：”B.Tessier，R\u00e9sultats R\u00e9 cents d'alg\u00e 8bre communive effective，S\u00er9minaire Bourbaki。卷1989\/90，Expos\u00e9 718，Ast\u00e9-risque189？1900（1991），107？131。“，”日记标题“：”S\u00e9minaire Bourbaki“}]，“集装箱标签”：[”计算复杂性“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/BF01250406.pdf“，”content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“http://\link.springer\com/article\/10.10007\/BF01100406\/fulltext.html”，“content”类型“：”text\/html“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/BF01200406”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2020,4,5]]，“date-time”：”2020-04-05T20:57:15Z“，”timestamp“：1586120235000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com/10.1007\/BF01200406”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{date-parts”：[[1993,3]]}，“references-count”：23，“journal-issue”：{“issue”：“1”，“published-print”：{date-parts“：[[19993]}”，“alternative-id”：[“BF01200406“]，”URL“：”http://\/dx.doi.org\/10.1007\/BF01200406“，”关系“：{}，”ISSN“：[”1016-3328“，”1420-8954“]，”ISSN-type“：[{”value“：”1016-33028“，“type”：“print”}，{”value“：”1420-8854“，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1993,3]}}}