{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,3,4]]，“日期-时间”：“2023-03-04T23:05:44Z”，“时间戳”：1677971144530}，“参考-计数”：49，“出版商”：“Springer Science and Business Media LLC”，“问题”：“3”，“许可证”：[{“开始”：}“日期-零件”：[[2014,1,22]]，“时间”：“2014-01-22T00:00:00Z”，“timestamp”：1390348800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Discrete Compute Geom“]，”published-print“：{”date-parts“：[[2014,4]}”，“DOI”：“10.1007\/s00454-014-9571-z“，”type“：”journal-article“，”created“：{”date-parts“：[[2014,1,21]]，“日期-时间”：“2014-01-21T16:45:01Z”，“时间戳”：1390322701000}，“页面”：“578-599”，“源”：“交叉引用”，“is-referenced-by-count”：4，“标题”：[“一般稀疏多项式系统的消除”]，“前缀”：“10.1007”，“卷”：“51”，“作者”：[{“给定”：“Mar\u00eda Isabel”，“家族”：“Herrero”，“序列”：“first”，“从属关系”“：[]}，{”给定“：”加布里埃拉“，“family”：“Jeronimo”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Juan”，“failment”：“Sabia”，“serquence”:“additionable”，“abfiliation“：[]{”，“member”：“297”，“published-online”：{“date-parts”：[[2014,1,22]]}、“reference”：[{“key”：”9571_CR1“，“doi-asserted-by”：”crossref“，”first page“：”20“，“doi”：“10.1145 \/2442829.2442837“，”卷时间“：“第37届符号与代数计算国际研讨会论文集（ISSAC 2012）”，“作者”：“D.Adrovic”，“年份”：“2012”，“非结构化”：“Adrovic，D.，Verschelde，J.：计算代数曲面的Puiseux级数。摘自：第37届象征与代数计算国际研讨会论文集，法国格勒诺布尔，2012年7月22日\u201325，pp.\u00a020\u201327（2012）“}，{“key”：“9571_CR2”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first-page”：“10”，“doi”：“10.1007\/978-3-19-02297-02”，“volume-title”：《科学计算中的计算机代数》，第十五届国际研讨会》，“作者”：“D.Adrovic”，“年份”：“2013”非结构化”：“Adrovic，D.，Verschelde，J.：空间曲线的多面体方法，利用应用于循环n根问题的对称性。在：Gerdt，V.P.，Koepf，W.，Mayr，E.W.，Vorozhtsov，E.V.（编辑）科学计算中的计算机代数，第15届国际研讨会，CASC 2013，德国柏林。计算机科学课堂讲稿，第\u00a08136卷，第\u 00a010\u 201329（2013）页“}，{“issue”：“3”，“key”：“9571_CR3”，”doi-asserted-by“：”crossref“，”first page“：“147”，“doi”：“10.1016\/0020-0190（84）90018-8”，”volume“：”18“，”author“：”S.J.Berkowitz“，”year“：”1984“，”unstructured“：”Berkowitz，S.J.：关于使用少量处理器在小并行时间内计算行列式。信息处理。莱特。18（3），147\u2013150（1984）“，“新闻标题”：“信息处理。莱特。“}，{”key“：”9571_CR4“，”doi-asserted-by“：”crossref“，”first page“：“183”，“doi”：“10.1007\/BF01075595”，“volume”：“9”，“author”：“D.N.伯恩斯坦”，“year”：“1975”，“unstructured”：“伯恩斯坦，D.N.：方程组的根数。Funct.Anal.Appl.9，183\u2013185（1975）”，“journal-title”：“Funct.Analy.Appl.”}，}“key”：“9571_CR5”，“series-title”：“理论计算机科学进展。“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/978-1-4612-0265-3“，”volume-title“：”多项式和矩阵计算“。第1卷。基本算法”，“作者”：“D.Bini”，“年份”：“1994年”，“非结构化”：“Bini，D.，Pan，V.Y.：多项式和矩阵计算。第1卷。基本算法。理论计算机科学进展。Birkh\u00e4用户Boston，Boston（1994）“}，{”key“：”9571_CR6“，”series-title“：”Grundlehren Math.Wiss.“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/978-3662-03338-8“，”volume-title“：“代数复杂性理论”，”author“：”P.B\u00fcrgisser“，”year“：”1997“，”unstructured“：”B\u00fcrgisser，P.，Clausen，M.，Shokrollahi，M.A.：代数复杂性理论。格兰德伦数学。威斯。，第\u00a0315卷。Springer，Berlin（1997）“}，{”issue“：”1“，”key“：”9571_CR7“，”doi-asserted-by“：”crossref“，”first-pages“：”25“，”doi“：”10.1007\/BF01810845“，”volume“：“1”，”author“：”L.Canigli“，”year“：”1990“，”unstructured“：”Caniglia，L.：如何计算单指数时间内非混合多项式理想的Chow形式。应用代数工程通讯。计算1（1），25\u201341（1990）“，”期刊标题“：”申请。代数工程通讯。计算。“}，{”issue“：”3“，”key“：”9571_CR8“，”first page“：“417”，“volume”：“47”，“author”：“J.Canny”，“year”：“2000”，“unstructured”：“Canny，J.，Emiris，I.Z.：稀疏结果的基于细分的算法。J.\u00a0ACM 47（3），417\u2013451“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：”17“，”doi“：”10.1007\/BFb0030287“，”volume-title“：”计算机科学数学基础，1984“，”author“：”A.L.Chistov“，”year“：”1984“，“unstructured”：“Chistov，A.L.，Grigor\u2019ev，D.Yu.：代数闭域理论中量词消除的复杂性。摘自：《计算机科学数学基础》，1984年，布拉格，1984年。计算机科学课堂讲稿，第\u00a0176卷，第\u 00a017\u 201331页。Springer，Berlin（1984）“}，{”key“：”9571_CR10“，”series-title“：”Grad.Texts Math.“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/9781-4757-6911-1“，“volume-title”：“Using Algebraic Geometry”，“author”：“D.Cox”，“year”：“1998”，“unstructured”：“Cox，D.，Little，J.，O\u2019Shea，D.：Using Algerbraic Geograd.Texts Math，vol.\u00a0185。Springer，New York（1998）“}，{”issue“：”10“，”key“：”9571_CR11“，”doi-asserted-by“：”crossref“，”first-page“：”1114“，”doi“：”10.1016\/j.jsc.2011.05.012“，”volume“：“46”，”author“：”L.D\u2019Alfonso“，”year“：”2011“，”unstructured“：”D\u2019Alfonso，L.，Jeronimo，G.，Ollivier，F.，Sedoglavic，A.，Solern\u00f3，P.：隐式微分代数方程组的几何指数约简方法。J.赛姆布。计算。46（10），1114\u20131138（2011）“，“新闻标题”：“J.Symb。计算。“｝，｛”issue“：”7“，”key“：”9571_CR12“，”doi断言“：”crossref“，”期刊标题“：”跨大西洋。数学。Soc.“｝，｛”issue“：”1\u20132“，”key“：”9571_CR13“，”doi asserted by“：”crossref“，”first page“：”59“，”doi“：”10.1016\/S0022-4049（00）00145-6“，”volume“：”164“，”author“：”C.D\u2019Andrea“，”year“：”2001“，”非结构化“：”D\u2019Andrea，C.，Dickenstein，A.：多变量结果的显式公式。J.\u00a0Pure Appl.Abrage164（1\u2013 2），59\u201386（2001）.代数几何中的有效方法（Bath，2000）”，“期刊标题”：“J.\u00a0Pure Appl。代数“}，{”问题“：“2”，”关键“：“9571_CR14”，”doi-asserted-by“：”交叉引用“，”首页“：”356“，”doi“：”10.1137\/S0097539794278384“，”卷“：”27“，”作者“：”M.Dyer“，”年份“：”1998“，”非结构化“：”Dyer，M.，Gritzmann，P.，Hufnagel，A.：关于计算混合卷的复杂性。SIAM J.Compute.27（2），356\u2013400（1998）“，”journal-title“：”SIAM J.计算机“}，{“key”：“9571_CR15”，“first-page”：“69”，“volume-title”：“组合结构及其应用”，“author”：“J.Edmonds”，“year”：“1970”，“unstructured”：“Edmonds，J.：子模函数、拟阵和某些多面体。In:组合结构及其应用，Proc.Calgary Internat.Conf.，Calgary，Alta，1969，pp.\u00a069\u201387。Gordon&Breach，New York（1970）“}，{”issue“：”2“，”key“：”9571_CR16“，”doi-asserted-by“：”crossref“，”first page“：“117”，“doi”：“10.1006\/jsco.1995.1041”，“volume”：“20”，“author”：“I.Z.Emiris”，“year”：“1995”，“unstructured”：“Emiris，I.Z.，Canny，J.F.：稀疏结果和混合体积的高效增量算法。J.Symbl.Compute.20（2），117\u2013149（1995）“，”新闻标题“：”J.Symb。计算。“}，{”issue“：”1“，”key“：”9571_CR17“，”doi-asserted-by“：”crossref“，”first-page“：”21“，”doi“：”10.1016\/S0166-218X（99）00003-7“，“volume”：“93”，“author”：“I.Z.Emiris”，“year”：“1999”，“unstructured”：“Emiris，I.Z.，Verschelde，J.：如何有效计算多项式系统的所有仿射根。离散应用数学93（1），21\u201332（1999年）.第13届计算几何欧洲研讨会CG\u201997（W\u00fcrzburg，1997）“，”期刊标题“：”离散应用。数学。“}，{”issue“：”1“，”key“：”9571_CR18“，”doi-asserted-by“：”crossref“，”first page“：“1”，“doi”：“10.1016\/0022-4049（90）90159-F”，“volume”：“67”，“author”：“N.Fitchas”，“year”：“1990”，“unstructured”：“Fitchas，N.，Galligo，A.，Morgenstern，J.：代数闭域上量词消去的精确序列和并行复杂度边界。J.\u00a0纯应用。代数67（1），1\u201314（1990）“，“期刊标题”：“J.\u00a0Pure Appl。代数“}，{”问题“：“2”，“key”：“9571_CR19”，“doi-asserted-by”：“crossref”，“首页”：“257”，“doi”：“10.1007\/s00454-002-2837-x”，“卷”：“29”，“作者”：“T.Gao”，“年份”：“2003”，“非结构化”：“Gao，T.，Li，T.Y.：半混合系统的混合体积计算。离散计算。Geom.29（2），257\u2013277（2003）”，“日志标题”：“离散计算几何“}，{”issue“：”1\u20132“，”key“：”9571_CR20“，”doi-asserted-by“：”crossref“，”first-pages“：”187“，“doi”：“10.1006\/jsco.1998.0272”，“volume”：“28”，“author”：“T.Gao”，“year”：“1999”，“unstructured”：“Gao，T.，Li，T.Y.，Wang，X.：通过稳定混合卷查找$\\mathbb{C}^{n}$中多项式系统的所有孤立零。多项式消除\u2014算法和应用。J.赛姆布。计算。28（1\u20132），187\u2013211（1999）“，“新闻标题”：“J.Symb。计算。“}，{”key“：”9571_CR21“，”series-title“：”Progr.Math.“，”doi-asserted-by“：”crossref“，”first page“：“169”，“doi”：“10.1007\/978-1-4612-0441-1_11”，“volume-title”：“代数几何中的有效方法”，“author”：“M.Giusti”，“year”：“1991”，“unstructured”：“Giusti，M.，Heintz，J.：Algorithmes\u2014disons rapides\u2014pour la d\u00e9 composition d\u2019une vari\u00e9t\u00e9-alg\u00e 9brique en composantes irr\u00e-9 ductibles et \u00e\u9e9 quidimensions。In：程序。代数几何中的有效方法，卡斯蒂格利昂塞洛，1990年。程序。数学。，第u00a094卷，pp.\u00a0169\u2013194。Birkh\u00e4用户Boston，Boston（1991）“}，{”issue“：”1“，”key“：”9571_CR22“，”doi-asserted-by“：”crossref“，”first page“：“154”，”doi“：”10.1006\/jcom.2000.0571“，“volume”：“17”，”author“：”M.Giusti“，”year“：”2001“，”unstructured“：”Giusti，M.，Lecerf，G.，Salvy，B.：A Gr\u00f6bner多项式系统求解的自由选择。J.Complex.17（1），154\u2013211（2001）“，“新闻标题”：“J.Complex。“}，{”issue“：”3“，”key“：”9571_CR23“，”doi-asserted-by“：”crossref“，”first-page“：”239“，”doi“：”10.1016\/0304-3975（83）90002-6“，”volume“：“24”，”author“：”J.Heintz“，”year“：”1983“，”unstructured“：”Heintz，J.：代数闭域中的可定义性和快速量词消除。Theor.Comput.Sci.24（3），239\u2013277（1983）”，“新闻标题”：“西奥。计算。科学。“}，{”issue“：”44\u201346“，”key“：”9571_CR24“，”doi-asserted-by“：”crossref“，”first-page“：”3894“，”doi“：”10.1016\/j.tcs.2010.07.015“，”volume“：“411”，”author“：”M.I.Herrero“，”year“：”2010“，”unstructured“：”Herrero，M.I.，Jeronimo，G.，Sabia，j.：计算仿射空间中稀疏多项式系统的孤立根。Theor.Comput.Sci.411（44\u201346），3894\u20133904（2010）“，”新闻标题“：”Theor。计算。科学。“}，{”key“：”9571_CR25“，”doi-asserted-by“：”crossref“，”first page“：“34”，“doi”：“10.1016\/j.jsc.2012.03.006”，“volume”：“51”，“author”：“M.I.Herrero”，“year”：“2013”，“unstructured”：“Herrero.M.I.，Jeronimo，G.，Sabia，j.：稀疏多项式系统的仿射解集。j.Symbl.Compute.51，34\u201354（2013）”，“journal-title”：“j.符号计算。“}，{”问题“：”212“，”key“：”9571_CR26“，”doi-asserted-by“：”crossref“，“first page”：“1541”，“doi”：“10.1090\/S0025-5718-1995-1297471-4”，“volume”：”64“，”author“：”B.Huber“，‘year’：”1995“，”unstructured“：”Huber，B.，Sturmfels，B.：求解稀疏多项式系统的A\u00a0多面体方法。数学。计算。64（212），1541\u20131555（1995）“，“新闻标题”：“数学。计算。“}，{”issue“：”2“，”key“：”9571_CR27“，”doi-asserted-by“：”crossref“，”first-pages“：”137“，“doi”：“10.1007\/BF02770870”，“volume”：“17”，“author”：“B.Huber”，“year”：“1997”，“unstructured”：“Huber，B.，Sturmfels，B.：仿射空间中的Bernstein\u2019s定理。离散计算。Geom.17（2），137\u2013141（1997）”，“journal-title”：“离散计算几何”}，{“问题”：“1\u20132“，”key“：”9571_CR28“，”doi-asserted-by“：”crossref“，”first-page“：”218“，”doi“：”10.1016\/j.jsc.2006.03.006“，”volume“：“42”，”author“：”G.Jeronimo“，”year“：”2007“，”unstructured“：”Jeronimo，G.，Sabia，j.：使用直线程序计算多同质结果。J.赛姆布。计算。42（1\u20132），218\u2013235（2007）“，“新闻标题”：“J.Symb。计算。“}，{”issue“：”1“，”key“：”9571_CR29“，”doi-asserted-by“：”crossref“，”first-page“：”41“，”doi“：”10.1007\/s10208-002-0078-2“，”volume“：“4”，”author“：”G.Jeronimo“，”year“：”2004“，”unstructured“：”Jeronimo，G.，Krick，T.，Sabia，J.，Sombra，M.：Chow形式的计算复杂性。Found.Comput.Math.4（1），41\u2013117（2004）“，”新闻标题“：”找到。计算。数学。“}，{”issue“：“1”，”key“：“9571_CR30”，”doi-asserted-by“：”crossref“，”first page“：”1“，”doi“：”10.1007\/s1028-008-9024-2“，“volume”：“9”，“author”：“G.Jeronimo”，“year”：“2009”，“unstructured”：“Jeronimo，G.，Matera，Solern\u00f3，P.，Waissbein，A.：稀疏系统的变形技术。发现。计算数学9（1），1 u201350（2009）“，“新闻标题”：”找到。计算。数学。“}，{”key“：”9571_CR31“，”doi-asserted-by“：”crossref“，”first page“：“289”，”doi“：”10.1007\/BF01077143“，“volume”：“11”，“author”：“A.G.Khovanskii”，“year”：“1978”，“unstructured”：“Khovanski，A.G.：牛顿多面体和环面变体。Funct.Anal.Appl.11，289\u2013296（1978）”，“journal-title”：“Funct.Analy.Appl.”，{“key”：“9571_CR32”，“doi-asserted-by”：“crossref“，”first page“：”233“，”DOI“：”10.1007\/BF01075534“，”volume“：“10”，”author“：”A.G.Kushnirenko“，“year”：“1976”，“unstructured”：“Kushnilenko，A.G.：牛顿多胞体和B\u00e9zout定理。功能。分析。申请。10，233\u2013235（1976）”，“期刊标题”：“功能。分析。申请。“｝，｛”issue“：”2“，”key“：”9571_CR33“，”doi asserted by“：”crossref“，”first page“：”161“，”doi“：”10.1007\\s102080010005“，”volume“：”1“，”author“：”T.Y.Li“，”year“：”2001“，”nonstructured“：”Li，T.Y.，Li，X.：在混合体积计算中查找混合单元格。Found.Comput.Math.1（2），161\u2013181（2001）“，”期刊标题“：”Found.Comput.Math.“｝，｛“问题”：“216”，“key“：”9571_CR34“，”doi-asserted-by“：”crossref“，”first-page“：”1477“，”doi“：”10.1090\/S0025-5718-96-00778-8“，“volume”：“65”，“author”：“T.Y.Li”，“year”：“1996”，“unstructured”：“Li，T.Y.，Wang，X.：$\\mathbb{C}^{n}$中的BKK根数。数学。计算。65（216），1477\u20131484（1996）“，“新闻标题”：“数学。计算。“}，{”issue“：”3“，”key“：”9571_CR35“，”doi-asserted-by“：”crossref“，”first-page“：”351“，”doi“：”10.1007\/s00454-006-1300-9“，“volume”：“37”，“author”：“T.Mizutani”，“year”：“2007”，“unstructured”：“Mizutan，T.，Takeda，A.，Kojima，M.：所有混合单元的动态枚举。离散计算Geom.37（3），351\u2013367（2007）”，“新闻标题”：“离散计算。地理。“}，{”issue“：”2“，”key“：”9571_CR36“，”doi-asserted-by“：”crossref“，”first-page“：”173“，“doi”：“10.1016\/S0022-4049（97）00068-6”，“volume”：“129”，“author”：“S.Puddu”，“year”：“1998”，“unstructured”：“Puddu，S.，Sabia，J.：使用直线程序在代数闭域上消除量词的有效算法。J.\u00a0纯应用。代数129（2），173\u2013200（1998）“，“期刊标题”：“J.\u00a0Pure Appl。代数”}，｛“issue”：“1”，“key”：“9571_CR37”，“doi asserted by”：“crossref”，“first page”：“105”，“doi”：“10.1016\/00304-3975（93）00062-A”，“volume”：“133”，“author”：“J.M.Rojas”，“year”：“1994”，“nonstructured”：“Rojas，J.M.:A\u00a0凸几何方法来计算多项式系统的根。Theor.Comput.Sci.133（1），105\u2013140（1994）”新闻标题“：”Theor。计算。科学。“}，{”key“：”9571_CR38“，”series-title“：”Contemp.Math.“，”doi-asserted-by“：”crossref“，”first-page“：”293“，”doi“：”10.1090\/conm\/334\/05987“，”volume-title“：“代数几何和几何建模主题”，”author“：”J.M.Rojas“，”year“：”2003“，”unstructured“：”Rojas，J.M.：为什么多面体在非线性方程求解中很重要。收录：代数几何和几何建模主题。康斯坦普。数学。，第u00a0334卷，pp.u00a0293\u2013320。美国数学。Soc.，Providence（2003）“}，{”issue“：”2“，”key“：”9571_CR39“，”doi-asserted-by“：”crossref“，”first page“：“116”，“doi”：“10.1006\/jcom.1996.009”，“volume”：“12”，“author”：“J.M.Rojas”，“year”：“1996”，“unstructured”：“Rojas，J.M.，Wang，X.：通过点牛顿多边形计算多项式系统的仿射根。J.Complex.12（2），116\u2013133（1996年）“《新闻标题》：《J.Complex》。“}，{”issue“：”5“，”key“：”9571_CR40“，”doi-asserted-by“：”crossref“，”first-page“：”349“，”doi“：”10.1007\/s00200-002-0109-x“，”volume“：“13”“，”author“：”\u00c9“。Schost”，“年份”：“2003”，“非结构化”：“Schost，\u00c9.：计算参数化几何分辨率。申请。代数工程通讯。计算。13（5），349\u2013393（2003）“，“新闻标题”：“申请。代数工程通讯。计算。“}，{”key“：”9571_CR41“，”first-page“：”701“，”volume“：“27”，”author“：”J.Schwartz“，”year“：”1980“，”unstructured“：”Schwartz，J.：“验证多项式恒等式的快速概率算法。J.\u00a0ACM 27，701\u2013717（1980）”，“journal-title”：“J.\u001ACM”}，”{“issue”：“2”，“key”：“9571_CR-42”，“doi-asserted-by”：“crossref”，”第一页“：”84“，”doi“：”10.1016\/j.comgeo.2009.04.004“，“volume”：“43”，“author”：“R.Steffens”，“year”：“2010”，“unstructured”：“Steffens，R.，Theobald，T.：嵌入Laman图的混合体积技术。J.\u00a0计算机。地理。43（2），84\u201393（2010）“，“期刊标题”：“J.\u00a0Comput。地理。“}，{”issue“：”2“，”key“：”9571_CR43“，”doi-asserted-by“：”crossref“，”first-page“：”207“，”doi“：”10.1023\/A:1022497624378“，”volume“：“3”，”author“：”B.Sturmfels“，”year“：”1994“，”unstructured“：”Sturmfels，B.：关于结果的牛顿多面体。J.Algebr.Comb.3（2），207\u2013236（1994）“，”journal-title“：”J.Alge br.梳“}，{”键“：”9571_CR44“，”doi-asserted-by“：”crossref“，”doi“：”10.1525\/9780520348097“，”volume-title“：”初等代数和几何的决策方法“，”author“：”A.Tarski“，”year“：”1951“，”unstructured“：”Tarski，A.：初等代数与几何的决策法，第2版。加利福尼亚大学出版社，伯克利/洛杉矶（1951）“，“edition”：“2”}，{“key”：“9571_CR45”，“series-title”：“Contemp.Math.”，“doi-asserted-by”：“crossref”，“first page”：《243》，“doi”：“10.1090\/conm\/496\/09727”，“volume-title”：《经典和数值代数几何的相互作用》，“author”：“J.Verschelde”，《年份》：“2009”，“unstructured”：“Verschelde，J.：数值代数几何中的多面体方法。中：经典代数几何和数值代数几何的相互作用。康斯坦普。数学。，第u00a0496卷，pp.u00a0243\u2013263。美国数学。Soc.，Providence（2009）“}，{“issue”：“3”，“key”：“9571_CR46”，“doi-asserted-by”：“crossref”，“first-page”：“915”，“doi”：“10.1137\/0731049”，“volume”：《31》，“author”：“J.Verschelde”，《year》：“1994”，“unstructured”：“Verschelede，J.，Verlinden，P.，Cools，R.：同伦利用牛顿多面体解稀疏多项式系统。SIAM J.Numer.Anal.31（3），915\u2013930（1994）“，“新闻标题”：“SIAM J.Numer。分析。“}，{”issue“：”1“，”key“：”9571_CR47“，”doi-asserted-by“：”crossref“，”first-pages“：”69“，”doi“：”10.1007\/BF02711134“，”volume“：“16”，”author“：”J.Verschelde“，“year”：“1996”，“unstructured”：“Verschelede，J.，Gatermann，K.，Cools，R.：通过动态提升应用于多项式系统求解的混合体积计算。离散计算。Geom.16（1），69\u2013112（1996）“，”journal-title“：”离散计算。地理。“}，{”key“：”9571_CR48“，”volume-title“：”现代计算机代数“，”author“：”J.Gather von zur“，”year“：”1999“，”unstructured“：”von zure Gather，J.，Gerhard，J.：现代计算机代数。剑桥大学出版社，剑桥（1999）“}”，{“key”：”9571 _CR49“，”series-title“：“Kluwer Int.Ser.Eng.Compute.Sci.”，“doi-asserted-by”：“crossref”，”doi“：”10.1007\/978-1-4615-3188-3”，“卷标题”：“有效多项式计算”，“作者”：“R.Zippel”，“年份”：“1993”，“非结构化”：“Zippel，R.:有效多项式计算。Kluwer国际系列。工程计算。科学。，第\u00a0241卷。Kluwer，Dordrecht（1993）“}]，”container-title“：[”Discrete&Computational Geometry“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”http://link.springer.com\/content\/pdf\/10.1007\/s00454-014-9571-z.pdf“，”content-type“：”application\/pdf“、”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“http:\/\/link.springer.com/article\/10.1007\/s00454-014-9571-z\/fulltext.html“，”content-type“：”text\/html“，”内容版本“：”vor“，”intended-application“：”text-mining“}，{”URL“：”http://\/link.springer.com\/content\/pdf\/10007\/s00454-014-9571-z“，”content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“”相似性检查“}]，”存放“：{“date-parts”：[[2022,3,24]]，“date-time”：“2022-03-24T06:35:41Z”，“timestamp”：1648103741000}，“score”：1，“resource”：{主“URL”：“http://\link.sprimary.com\/10.1007\/s00454-014-9571-z”}，”副标题“：[]，”短标题“：[]，“issued”：{“date-ports”：[2014,1,22]]}，，“references-count”：49，“新闻发布”：{“发布”：“3”，“发布发布”：date-parts“：[[2014,4]}}，”alternative-id“：[”9571“]，”URL“：”http://\/dx.doi.org\/10.1007\/s00454-014-9571-z“，”relation“：{}，“ISSN”：[“0179-5376”，“1432-0444”]，”ISSN-type“：[{”value“：”0179-537.6“，”type“:”print“}，{”value“：”1432-04444“，”类型“：”electronic“}]，”subject“：[]，”已发布“：{”日期部分“：[[2014,1,22]]}}