{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,8,23]]，“日期时间”：“2023-08-23T08:03:34Z”，“时间戳”：1692777814592}，“出版商位置”：“查姆”，“引用计数”：39，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783030600259”，“类型”：”打印“}，{“值”：“9783030600266”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2020,1,1]]，“date-time”：“2020-01-01T00:00:00Z”，“timestamp”：1577836800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}0:00:00Z“，”时间戳“：1577836800000}，”内容版本“：”vor“，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2020,1,1]]，“date-time”：“2020-01-01T00:00:00Z”，“timestamp”：1577836800000}，“content-version”：“tdm”，“delay-in-days“：0，”URL“https:\/\www.springer.com\/tdm”}1,1]]，“日期时间”：“2020-01-01T00:00:00Z”，“时间戳”：1577836800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[2020]]}，”DOI“：”10.1007\/978-3-030-60026-6_14“，”类型“：”book-capter“，”创建“：{“date-parts”：[[2020,10,17]]，“date-time”：“2020-10-17T20:02:36Z”，“时间戳”：1602964956000}，“页面”：“245-265”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：1，”title“：[”构建零维Gr\u00f6bner基的内在复杂性“]，”prefix“：”10.1007“，”author“：[{”given“：”Amir“，“family”：“Hashemi”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Joos”，“family”：“Heintz”，“sequence”：“additional”，“abfiliation“：[]{”given“：”Luis M.“，”family“：”Pardo“，“segment”：“additional”、“affidiation”：[]}、{“given”（给定）：“Pablo”，“家族”：“Solern\u00f3”，“序列”：“附加的”，“filiation的”：[]}]，“member”：“297”，“published-on”行“：{“date-parts”：[[2020,10,2]]}，“reference”：[{“key”：“14_CR1”，“series-title”：“与Heinz Kredel合作”，“doi-asserted-by”：“publisher”，”doi“：“10.1007\/978-1-4612-0913-3”，“volume-title”：“Gr\u00f6bner Bases:交换代数的计算方法”，“author”：“T Becker”，“year”：“1993”，“unstructured”：“Becker，T.，Weispfenning，V.：Gr\u00f6bner Bases:交换代数的计算方法。与Heinz-Kredel.Springer合作，纽约（1993）。https:\/\/doi.org\/10.1007\/978-1-4612-0913-3”}，{“issue”：“1”，“key”：“14_CR2”，“doi-asserted-by”：“publisher”，“first-pages”：“15”，“doi”：“10.5802\/jtnb.655”，“volume”：”21“，”作者“：”K Belabas“，“年份”：“2009年”，“非结构化”：“Belabas，K.，van Hoeij，M.，Kl\u00fcners，J.，Steel，A.：全局域上的因子多项式。J.Th\u00e9或.Nombres Bordx.21（1），15\u201339（2009）”，“日记标题”：“J.Th\ u00e9or.Nombres-Bordx.”}，{“key”：“14_CR3”，“无结构化”：“Bost，J.B.，Gillet，H.，Soul\u00e9，C.：非模拟算术\u00e9 tique du th\u00e9 or \u00e8 me de B\u00e9 zout.C.R.Acad.Sci.Paris S\u00e9 R.I 312（11），845\u2013848（1991）”}，｛“key”：“14_CR4”，doi断言者：“publisher”，“首页”：“273”，“doi”：“10.1215\\S0012-7094-80-04718-3”，“volume”：“47”，“作者”：“WD Brownawell”，“年份”：“1980”，“非结构化”：“Brownawell，W.D.，Masser，D.W.：分析函数的多重估计。II.杜克数学杂志47，273\u2013295（1980）”，“期刊标题”：“杜克数学”}，{“key”：“14_CR5”，“doi-asserted-by”：“publisher”，“unstructured”：“Buchberger，B.：Bruno Buchberger\u2019s博士论文1965：寻找零维多项式理想剩余类环的基元的算法。翻译自德国J.Symb.Comput.41（3\u20134），475\u2013511（2006）。https:\/\/doi.org\/10.1016\/J.jsc.2005.09.007”，“doi”：“10.1016\/J.jsc.2005.09.007”}，{“key”：“14_CR6”，“doi由”断言：“publisher”，“nonstructured”：“Cox，D.A.，Little，J.，O\u2019Hea，D.：理想、变种和算法。计算代数几何和交换代数导论，第4版。Springer，Cham（2015）。https:\/\/doi.org/10.1007\/978-3-319-16721-3”，“doi”：“10.1007\/978-3-319-16721-3”}，｛“issue”：“1\u2013”，“key”：“14_CR7”，“doi-asserted-by”：“publisher”，“first page”：“73”，“doi”：“10.1016\/0166-218X（91）90109-A”，《volume》：“33”，“author”：“A Dickenstein”，“year”：“1991”，“unstructured”：“Dickensteen，A.，Fitchas，N.，Giusti，M.，Sessa，C.：非混合多项式理想的隶属度问题在单指数时间内是可解的。离散应用数学.33（1\u20133），73\u201394（1991）“，”期刊标题“：”离散应用。数学。“}，{”key“：”14_CR8“，”unstructured“：”Durvye，C.：Algorithmes pour la d\u00e9 composition primarie des id\u00e9aux polynomiaux de dimension nulle donn\u00e9s en\u00e 9evaluation。凡尔赛大学-St Quentin en Yvelines博士论文（2008）“}10.1016\/j.jsc.2008.02.008“，”volume“：”44“，”author“：”C Durvye“，”year“：”2009“，”unstructured“：”Durvie，C.：“零维主分解的评估技术。J.塞姆。计算。44（9），1089\u20131113（2009）“，“新闻标题”：“J.Symb。计算。“}，{”issue“：”2“，”key“：”14_CR10“，”doi-asserted-by“：”publisher“，”first-pages“：”101“，”doi“：”10.1016\/j.exmath.2007.07.001“，”volume“：“26”，“author”：“C Durvye”，“year”：“2008”，“unstructured”：“Durvie，C.，Lecerf，G.：Kronecker多项式系统解算器从无到有的简明证明。Expo.Math.26（2），101\u2013139（2008）”，“journal title“：”数学博览会“}，{“issue”：“4”，“key”：“14_CR11”，“doi-asserted-by”：“publisher”，“first page”：《329》，“doi”：“10.1006\/jsco.1993.1051”，《volume》：“16”，“author”：“JC Faug\u00e8re”，“year”：“1993”，“unstructured”：“Faug\u 00e8RE，J.C.，Gianni，P.，Lazard，D.，Mora，T.：通过改变排序高效计算零维Gr\u 00f6bner基J.符号计算16（4），329\u2013344（1993）“，“新闻标题”：“J.Symb。计算。“}，{”issue“：”5“，”key“：”14_CR12“，”doi-asserted-by“：”publisher“，”first-page“：”323“，”doi“：”10.1016\/j.jco.2013.04.005“，“volume”：“29”，“author”：“M Fern\u00e1ndez”，“year”：“2013”，“unstructured”：“Fern\u 00e1andez，M.，Pardo，L.M.：多元结果的算术泊松公式。《复杂性杂志》29（5），323\u 2013350（2013）“，”杂志标题“：”j。复杂性“}，{“key”：“14_CR13”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”247“，“doi”：“10.1007\/3-540-51082-6_83”，“volume-title”：”应用代数、代数算法和纠错代码“，“author”：“P Gianni”，“year”：“1989”，“unstructured”：“Gianni，P.，Mora，T.：使用Groebher基的多项式方程组的代数解。摘自：Huguet，L.，Poli，A.（编辑）AAECC 1987。LNCS，第356卷，第247\u2013257页。施普林格，海德堡（1989）。https:\/\/doi.org\/10.1007\/3-540-51082-6_83“}，{“问题”：“1”，“密钥”：“14_CR14”，“doi-asserted-by”：“出版商”，“首页”：“154”，“doi”：“10.1006\/jcom.2000.0571”，《卷》：“17”，“作者”：“M Giusti”，“年份”：“2001”，“非结构化”：“Giusti，M.，Lecerf，G.，Salvy，B.：A Gr\u00f6bner free多项式系统求解的替代方法。J.复杂性17（1），154\u2013211（2001）“，“journal-title”：“J.Complexity”}，{“key”：“14_CR15”，“unstructured”：“Hashemi，A.，Heintz，J.，Pardo，L.M.，Solern\u00f3，P.：关于非齐次多项式理想的B\u00e9zout不等式。arXiv:1701.04341（2017）”}Heintz，J.，Schnorr，C.P.：测试易于计算的多项式。摘自：《逻辑与算法国际研讨会》，Z\u00fcrich 1980，《L\u2019Enseignement Mathematique专著》，第30卷，第237\u2013254页（1982），“DOI”：“10.1145\/800141.804674”}，{“key”：“14_CR17”，“DOI-asserted-by”：“publisher”，“首页”：“239”，“DOI:“10.1016\/0304-3975（83）90002-6”，“volume”：”：“24”，“author”：“J Heintz”，“年份”：“1983年”非结构化“：”Heintz，J.：代数闭域中的可定义性和快速量词消除。西奥。计算。科学。24，239\u2013277（1983）“，“新闻标题”：“Theor。计算。科学。“}，{”key“：”14_CR18“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3642-03545-6“，”volume-title“：”交换代数课程“，”author“：”G Kemper“，”year“：”2011“，”unstructured“：”Kemper，G.：交换代数课程，第256卷。斯普林格，海德堡（2011）。https:\/\/doi.org\/10.1007\/978-3642-03545-6“}，{”key“：”14_CR19“，”series-title“：”数学进步“，”doi-asserted-by“：”publisher“，”首页“：”227“，”doi“：”10.1007\/978-1-4612-0441-1_15“，”volume-title“：“代数几何中的有效方法”，”author“：”YN Lakshman“，”年份“：”1991“，”非结构化“：”Lakshman，Y.N.：零维理想Gr\u00f6bner基计算复杂性的单指数界。收录：Mora，T.，Traverso，C.（编辑）《代数几何中的有效方法》。《数学进展》，第94卷，第227\u2013234页。Birkh\u00e4user，波士顿（1991）。https:\/\/doi.org\/10.1007\/978-1-4612-0441-1_15“}，{”key“：”14_CR20“，”series-title“：”数学进步“，”doi-asserted-by“：”publisher“，”首页“：”217“，”doi“：”10.1007\/9781-4612-0441-1_14“，”volume-title“：“代数几何中的有效方法”，”author“：”YN Lakshman“，”年份“：”1991“，”非结构化“：”Lakshman，Y.N.，Lazard，D.：关于零维代数系统的复杂性。收录：Mora，T.，Traverso，C.（编辑）《代数几何中的有效方法》。《数学进展》，第94卷，第217\u2013225页。Birkh\u00e4user，Boston（1991）“}，{”key“：”14_CR21“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“146”，”doi“：”10.1007\/3-540-12868-9_99“，”volume-title“：“计算机代数”，”author“：”D Lazard“，”year“：”1983“，”unstructured“：”Lazard，D.：Gr\u00f6bner基，高斯消去和代数方程组的分解。摘自：van Hulzen，J.A.（编辑）《欧洲1983》。LNCS，第162卷，第146\u2013156页。施普林格，海德堡（1983）。https:\/\/doi.org\/10.1007\/3-540-12868-9_99“}，{”key“：”14_CR22“，”doi-asserted-by“：”publisher“，”first page“：“77”，”doi“：”10.1016\/0304-3975（81）90064-5“，”volume“：g\u00e9briques.Theor.Comput.Sci.15，77\u2013110（1981）https:\/\/doi.org\/10.1016\/0304-3975（81）90064-5“，”新闻标题“：”Theor。计算。科学。“｝，｛”key“：”14_CR23“，”doi asserted by“：”crossref“，”nonstructured“：”Le Gall，F.：张量的幂和快速矩阵乘法。在：第39届符号与代数计算国际研讨会论文集，ISSAC 2014，pp.296\u2013303。计算机械协会（ACM），纽约（2014）“，”DOI“：”10.1145\/2608628.2608664“}，{”issue“：”4“，”key“：”14_CR24“，”DOI-asserted-by“：”publisher“，”first-page“：”564“，“DOI”：“10.1016\/S0885-064X（03）00031-1”，“volume”：“19”，“author”：“G Lecerf”，“year”：“2003”，“unstructured”：“”Lecerf，G.：通过提升纤维计算代数闭集的等维分解。J.Complexity 19（4），564\u2013596（2003）“，”journal-title“：”J.Complaxity“}，{”issue“：”4“，”key“：”14_CR25“，”doi-asserted-by“：”publisher“，”first page“：“673”，“doi”：“10.1007\/BF01459805”，“volume”：“299”，“author”：“P Lelong”，“year”：“1994”，“unstructured”：“”Lelong，P.：《马勒的计量》（Mesure de Mahler et calculates de constantes universelles pour les polyn\u00f4mes de$n$$variables）。数学。Ann.299（4），673\u2013695（1994）“，“期刊标题”：“数学。Ann.“}，{”key“：”14_CR26“，”doi-asserted-by“：”publisher“，”first page“：“305”，“doi”：“10.1016\/0001-8708（82）90048-2”，“volume”：“46”，“author”：“EW-Mayr”，“year”：“1982”，“unstructured”：“Mayr，E.W.，Meyer，A.R.：交换半群和多项式理想单词问题的复杂性。Advv.Math.46，305\u2013329（1982）https:\/\/doi.org\/10.1016\/0001-8708（82）90048-2“，”journal-title“：”Adv.Math。“}，{”issue“：“2”，”key“：“14_CR27”，”doi-asserted-by“：”publisher“，”first page“：”147“，“doi”：“10.1023\/A:1017543728036”，“volume”：“126”，“author”：“D McKinnon”，“year”：“2001”，“unstructured”：“McKinnor，D.：Bezout\u2019s定理的算术模拟。作文.数学.126（2），147\u2013155（2001）”，“日记标题”：“作文.Math.“}，{“问题”：“4”，“键”：“14_CR28”，“doi-asserted-by“：”publisher“，”first page“：”303“，”doi“：”10.1007\/s00200-016-0284-9“，“volume”：“27”，“author”：“LM Pardo”，“year”：“2016”，“unstructured”：“Pardo，L.M.，Pardo M.：关于雅可比行列式的zeta Mahler测度函数，条件数和一般判别式的高度。申请。代数工程通讯。计算。27（4），303\u2013358（2016）。https:\/\/doi.org\/10.1007\/s00200-016-0284-9“，”journal-title“：”应用程序。代数工程通讯。计算。“}，{”key“：”14_CR29“，”doi-asserted-by“：”publisher“，”first-page“：”5“，”doi“：”10.1007\/BF02699191“，”volume“：“64”，”author“：”P Philippon“，”year“：”1986“，”unstructured“：”Philippen，P.：Crit\u00e8res pour l\u2019ind\u00e9pendance alg\u00e 9brique.Publ.Math.Instit.Hautes\u00c9tud.Sci.64，5\u201352（1986）“，“期刊标题”：“公共数学研究所。上半部\u00c9tud。科学。“｝，｛”key“：”14_CR30“，”非结构化“：”Philippon，P.：Sur des hauteurs alternatives.I.（关于备选高度.II）.Math.Ann.289（2），255\u2013283（1991）“｝，｛”key“：”14_CR31“，”doi断言“：”crossref“，”非结构化“：”Philippon，P.：Sur des hauteurs alternatives.II.（关于备选高度.II）.Ann.Inst.Fourier 44（4），1043\u20131065（1994）“，”DOI“：”10.5802\/aif.1426“}，{”key“：”14_CR32“，”unstructured“：”Philippon，P.：Sur des hauteurs alternatives.III.J.Math.Pures Appl.（9）74（4），345\u2013365（1995）“}”，{“key”：“14_CR33”，”DOI-asserted-by“：”publisher“，”first page“：“701”，“DOI”：“10.1145\/322217.32225”，“卷”：“27”，“作者”：“JT Schwa”rtz“，”年份“：”1980“，”非结构化“：”Schwartz，J.T.：多项式恒等式验证的快速概率算法。J.协会计算。机器。27，701\u2013717（1980）“，“期刊标题”：“J.Assoc.Compute。机器。“}，{”key“：”14_CR34“，”series-title“：”Springer Proceedings in Mathematics&Statistics“，”doi-asserted-by“：”publisher“，”first page“：“447”，”doi“：”10.1007\/978-3319-56932-1_28“，”volume-title“：“计算机代数的应用”，”author“：”J Hoeven“，”year“：”2017“，”unstructured“：”Hoeven，J.：关于多元多项式除法的复杂性。收录：Kotsireas，I.S.，Mart\u00ednez-Moro，E.（eds.）ACA 2015。SPMS，第198卷，第447\u2013458页。施普林格，查姆（2017）。https:\/\/doi.org\/10007\/978-3-319-56932-1_28“}，{“key”：“14_CR35”，“doi-asserted-by”：“crossref”，“unstructured”：“Van der Waerden，B.L.：代数。第二卷。部分基于.E.Artin和E.Noether的讲座。Transl.摘自德语第五版，John R.Schulenberger。Springer，New York（1991）”，“doi”：“10.1007\/978-4612-4420-2”}，}，“key“：”14_CR36“，“非结构化“：”Vogel，W.：关于Bezout\u2019s定理结果的讲座。D.P.Patil的笔记。数学和物理讲座。数学，74。塔塔基础研究所。Springer，Berlin，ix，132 p.（1984）“}，{“key”：“14_CR37”，“doi-asserted-by”：“crossref”，“unstructured”：“von zur Gather，J.，Panario，D.：有限域上的因子分解多项式：一项调查。J.Symb.Compute.31（1\u20132），3\u201317（2001）”，“doi”：“10.1006\/jsco.1999.1002”}，“key“：”14_CR38“，”：“Zarisk，O.，Samuel，p.：交换代数”第卷。二、。高等数学大学系列。普林斯顿，新泽西州-多伦多-朗顿纽约：D.Van Nostrand Company，Inc.x，414 p.（1960）“}，{“issue”：“3”，“key”：“14_CR39”，“doi-asserted-by”：“publisher”，“first page”：”375“，“doi”：“10.1016\/S0747-7171（08）80018-1”，“volume”：《9》，“author”：“R Zippel”，“year”：“1990”，“unstructured”：“Zippell，R.：从其值插值多项式。J.Symbol。计算9（3），375\u2013403（1990）“，”新闻标题“：”J.Symb。计算。“}]，”container-title“：[”科学计算中的计算机代数“，”计算机科学中的课堂讲稿“]，”original-title”：[]，”link“：[{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3030-60026-6_14“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“，”deposed“：{”日期部分”：[[2022,11,23]]，“日期-时间”：“2022-11-23T19:44:36Z”，“时间戳”：1669232676000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/link.springer.com\/10.1007\/978-3-030-60026-6_14”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2020]]｝，“ISBN”：[“9783030600259”，“9783030600266”]，“参考文献count“：39，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-030-60026-6_14“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：2020年10月“，”订单“：1，”名称“：”first_online“，”标签“：”first online“，“group”：{“name“：”ChapterHistory“，”label“：”Chapter History”}}，{“value”：“CASC”，“order”：1，“name”：“conference_acrombit”，“label”：“conference缩写”，“group”：{“name”:“ConferenceInfo”，“tabel”：”ConferenceInformation“}}”，{”value“：”科学计算中的计算机代数国际研讨会“，”order“：2，”name“：“confence_name”，“标签”：“会议名称”，“group”：｛“name”：“ConferenceInfo”，“label”：“ConferenceInformation”｝｝，｛“value”：“Linz”，“order”：3，“name”：“Conference_city”，“label”：“ConferenceCity”，“group”：｛“name”：“ConferenceInfo”，“label”：“ConferenceInformation”｝，｛“value”：“Austria”，“order”：4，“name”：“Conference_country”，“label”：“ConferenceCountry”，“group”：｛“name”：“ConferenceInfo”，“label”：“会议信息“}}，{”value“：”2020“，”order“：5，”name“：”Conference_year“，”label“：”Conference_year“，“group”：{“name”：“ConferenceInfo”，“label”：“会议信息”}}、{“value”：“2020年9月14日”，“order”：7，“name”:“Conference_start_date”，”lable“：”会议开始日期“，”group“：value“：”2020年9月18日“，”order“：8，”name“：”conference_end_date“，”label“：”会议结束日期“，”group“：，“名称”：“conference_id“，”label“：”会议id“，”group“：{”name“：”ConferenceInfo“，”label“：“会议信息”}}，{”value“：”http://\/www.casc-conference.org\/“，”order“：11，“name”：“conference_ url”，“label”：“conference url”，“group”：{“name”:“ConferenceInfo”，“table”：“会议资讯”}}}、{“value”：“Single-blind”，“order”：1，“name”：“type”，“label”：“类型”，“group“：{”name“：”ConfEventPeerReviewInformation“，”label“：”Peer Review Information（由会议组织者提供）“}}，{”value“：”EasyChair“，”order“：2，“name”：“conference_management_system”，“label”：“会议管理系统”，“group”：{同行评审信息（由会议组织者提供）“}}，{“value”：“41”，“order”：3，“name”：“number_of_submissions_sent_for_Review”，“label”：“发送供评审的提交数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息”（由会议主办方提供）number_of_full_papers_accepted“，”label“：”接受的全文数“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行评审信息（由会议组织者提供）“}}，{”value“：”0“，”order“：5，”name“:”number_ of_short_papers_Accepteded“，”table“：”已接受的短文数“，“group”：{“name”：“”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“}}，{”value“：”83%-该值由等式“接受的全文数”/“发送供评审的提交数*100”计算，然后四舍五入为整数。“，”order“：6，”name“：”acceptance_rate_of_Full_Papers“，”标签“：”全文接受率“，”group“：{”name“：”ConfEventPeerReviewInformation“，”label“：”Peer Review Information（由会议组织者提供）“}}，{”value“：”3.17“，”order“：7，”name“:”average_number_of_reviews_per_paper“，”标签“：”每篇论文的平均评论数“，”google“：同行评议信息（由会议组织者提供）“}}，{“value”：“5.6”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评议资料（由会议主办方提供）”}}}external_reviewers_involved“，”label“：”涉及的外部审阅者“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行审阅信息（由会议组织者提供）“}}，”{“value”：“会议实际上是由于新冠肺炎疫情而召开的。还包括两次受邀的会谈。”，“order”：10，“name”：“”additional_info_on_review_process“，”label“：”审查过程的附加信息“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行审查信息（由会议组织者提供）“}}]}}