{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,5,9]]，“日期时间”：“2024-05-09T07:52:51Z”，“时间戳”：1715241171706}，“出版商位置”：“柏林，海德堡”，“参考计数”：24，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”value“9783540666721”，“type”：“print”}，{“value”：“9783540479970”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[1999,1,1]]，“date-time”：“1999-01-01T00:00:00Z”，“timestamp”：915148800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm}]，”content-domain“：{”domain“[”link.springer.com“]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[1999]]}，“DOI”：“10.1007\/3-540-47997-x_10”，“type”：“book-chapter”，“created”：{“date-parts”：[[2007,4,5]]，“date-time”：“2007-04-05T06:14:18Z”，“timestamp”：1175753658000}，”page“：“180-206”，“update-policy”：”http://dx.DOI.org\/10.10007\/springer_crossmark _策略“，”源“：”Crossref“，”is-referenced-by-count“：1，”title“：[“分解代数变体”]，“前缀”：“10.1007”，“作者”：[｛“给定”：“东明”，“家族”：“王”，“序列”：“第一个”，“隶属关系”：[]｝]，“成员”：“297”，“在线发布”：｛“日期部分”：[[2000,11,17]｝，“引用”：[｛“密钥”：“10_CR1”，“doi断言者”：“发布者”，“首页”：“105”，“doi”：“10.1006\/jsco.1999.0269”，“卷”：“28”，“作者”：“P.Aubry”，“年”：“1999”，“非结构化”：“Aubry，P.，Lazard，D.，Moreno Maza，M.（1999）：三角集理论。J.Symb.Compute.28:105\u2013124。188“，“新闻标题”：“J.Symb。计算。“}，{”key“：”10_CR2“，”doi-asserted-by“：”crossref“，”first page“：“184”，”doi“：”10.1007\/978-94-009-5225-6_6“，”volume-title“：”多维系统理论“，”author“：”B.Buchberger“，”year“：”1985“，”unstructured“：”Buchberker，B.（1985）：Gr\u00f6bner bases：多项式理想理论中的算法方法。in:多维系统理论（N.K。Bose编辑），D.Reidel Publ。Co.，Dordrecht Boston，第184\u2013232页。181，187，188“}，{“key”：“10_CR3”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“crossref”，“first page”：”207“，“doi”：“10.1007 \/3-540-52885-7_89”，“volume-title”：”Proceedings CADE-10“，”author“：”S.-C.Chou“，”year“1990”，“unstructured”：“Chou，S.-C.，Gao，X.S.（1990）：Ritt-Wu\u2019s分解算法和几何定理证明。收录于：Proceedings CADE-10，Kaiserslautern，July 24\u2013271990，Springer-Verlag，Berlin Heidelberg，pp.207\u2013220（计算机科学讲稿，第449卷）[也作为技术代表TR-89-09，美国德克萨斯大学奥斯汀分校计算机科学系]。183，189，191，200“}，{”key“：”10_CR4“，”doi-asserted-by“：”publisher“，”first page“：“147”，“doi”：“10.1007\/BF01840382”，“volume”：“5”，“author”：“S.-C.周”，“year”：“1990”，“unstructured”：“周，S.-C.，谢尔特，W.F.，杨，J.-G.（1990）：一种从特征集构造Gr\u00f6bner基的算法及其在几何中的应用。算法5:147\u2013154。181187“，“journal-title”：“Algorithmica”}，{“key”：“10_CR5”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/9781-4757-2181-2”，“volume-title“：“理想、多样性和算法”，“author”：“D.Cox”，“year”：“1992”，“unstructured”：“Cox，D.，Little，J.，O\u2019Shea，D.（1992）：理想、多样性和算法。Springer-Verlag，纽约-柏林。181，187，188，202“}，{”key“：”10_CR6“，”doi-asserted-by“：”publisher“，”first page“：“207”，”doi“：”10.1007\/BF0123131“，“volume”：“110”，“author”：“D.Eisenbud”，“year”：“1992”，“unstructured”：“Eisenbad，D.，Huneke，C.，Vasconcelos，W.（1992）：初级分解的直接方法。发明数学110:207\u2013235。202”，“期刊标题”：“发明。数学。“}，{”key“：”10_CR7“，”first page“：“799”，“volume”：“38”，“author”：“X.-S.Gao”，“year”：“1993”，“unstructured”：“Gao，X.-S，Chou，S.-C.（1993）：关于任意上升链的维度。中国科学通报。38:799\u2013804。181187189200“，“新闻标题”：“中国科学”。牛市。“}，{”key“：”10_CR8“，”doi-asserted-by“：”publisher“，”first page“：“149”，“doi”：“10.1016\/S0747-7171（88）80040-3”，“volume”：“6”，“author”：“P.Gianni”，“year”：“1988”，“unstructured”：“Gianni，P.，Trager，B.，Zacharias，G.（1988）：Gr\u00f6bner bases and primary decompositional of多项式理想。J.Symbol.Compute.6:149\u2013167。181187188“，“新闻标题”：“J.Symb。计算。“}，{”key“：”10_CR9“，”doi-asserted-by“：”publisher“，”first page“：“143”，”doi“：”10.1006\/jsco.1993.1011“，“volume”：“15”，“author”：“M.Kalkbrener”，“year”：“1993”，“unstructured”：“Kalkberer，M.（1993）：计算代数变量三角表示的广义欧几里德算法。J.Symbol.Comput.15:143\u2013167。181“，“新闻标题”：“J.Symb。计算。“}，{”key“：”10_CR10“，”doi-asserted-by“：”publisher“，”first page“：“365”，”doi“：”10.1006\/jsco.1994.1052“，”volume“:”18“，”author“：”M.Kalkbrener“，”year“：”1994“，”unstructured“：”Kalkberer，M.（1994）：多项式环中根的素分解。J.Symbol.Compute.18:365\u2013372。181“，“新闻标题”：“J.Symb。计算。“}，{”key“：”10_CR11“，”doi-asserted-by“：”publisher“，”first-page“：”147“，“doi”：“10.1016\/0166-218X（91）90113-B”，“volume”：“33”，“author”：“D.Lazard”，“year”：“1991”，“unstructured”：“Lazard，D.（1991）：求解正维代数系统的新方法。离散应用数学33:147\u2013160。181“，”journal-title“：”离散应用程序。数学。“}，{”key“：”10_CR12“，”unstructured“：”Ritt，J.F.（1950）：微分代数。美国数学学会，纽约。181，183“}”，{“key”：“10_CR13”，“doi-asserted-by”：“publisher”，“first page”：”247“，”doi“：”10.1006\/jsco.1996.0052“，”volume“：“22”，“author”：“T.Shimoyama”，“year”：“1996”，“unstructure”：“Shimoya，T.，Yokoyama”，K.（1996）：多项式理想的局部化和主分解。J.塞姆。计算。22:247\u2013277。202“，“新闻标题”：“J.Symb。计算。“}，{”key“：”10_CR14“，”first page“：“124”，“volume”：“4”，“author”：“D.Wang”，“year”：“1989”，“unstructured”：“Wang D.（1989）：从理想的特征集确定理想的有限基的方法及其在代数簇不可约分解中的应用。数学机械研究预印本4:124\u2013140。181187“，“新闻标题”：“数学。机械。Res.Preprints“｝，｛“key”：“10_CR15”，“doi asserted by”：“publisher”，“first page”：“471”，“doi”：“10.1016/0167-8396（92）90045-Q”，“volume”：“9”，“author”：“D.Wang”，“year”：“1992”，“nonstructured”：“Wang，D.（1992）：通过特征集和Gr\u00f6bner基对代数变体进行不可约分解。Comput.Aidded Geom.Des.9:471\u2013484。181196200“，“新闻标题”：“计算。辅助Geom。设计。“}，{”key“：”10_CR16“，”doi-asserted-by“：”publisher“，”first-page“：”83“，”doi“：”10.1006\/jsco.1993.1035“，”volume“：“16”，”author“：”D.Wang“，”year“：”1993“，”unstructured“：”Wang，D.（1993）：多项式系统的消去法。J.Symbol。Compute.16:83\u2013114。181183186“，“新闻标题”：“J.Symb。计算。“}，{”key“：”10_CR17“，”doi-asserted-by“：”crossref“，”first page“：“187”，”doi“：”10.1007\/978-3-7091-6604-8_9“，”volume-title“：”自动实践推理：代数方法“，”author“：”D.Wang“，”year“：”1995“，”unstructured“：”Wang，D.（1995）：Maple中特征集方法的一个实现。《自动实践推理：代数方法》（J.Pfalzgraf，D.Wang，eds.）。Springer-Verlag，纽约州维也纳，第187\u2013201页。183，200“}，{“issue”：“4\u20136”，“key”：“10_CR18”，“doi-asserted-by”：“publisher”，“first page”：”339“，”doi“：”10.1016\/S0378-4754（96）00008-0“，”volume“：”42“，”author“：”D.Wang“，”year“：”1996“，”unstructured“：”Wang，D.（1996）：求解多项式方程：特征集和三角系统。Math.Comput.Simulation 42（4\u2013）：339\u2013351●●●●。197200“，“新闻标题”：“数学。计算。Simulation“}，{”key“：”10_CR19“，”doi-asserted-by“：”publisher“，”first page“：“295”，“doi”：“10.1006\/jsco.1997.0177”，“volume”：“25”，“author”：“D.Wang”，“year”：“1998”，“unstructured”：“Wang，D.（1998）：将多项式系统分解为简单系统。J.Symb.Compute.25:295\u2013314。181184“，“新闻标题”：“J.Symb。计算。“}，{”issue“：”4“，”key“：”10_CR20“，”doi-asserted-by“：”publisher“，”first-pages“：”2“，”doi“：”10.1145\/307733.307734“，“volume”：”32“，”author“：”D.Wang“，”year“：”1998“，”unstructured“：”Wang，D.（1998）：多项式理想根的非混合和素数分解。ACM SIGSAM Bull.32（4）：2\u20139。181187“，“新闻标题”：“ACM SIGSAM Bull。“}，{“key”：“10_CR21”，“volume-title”：“Elimination methods”，“author”：“D.Wang”，“year”：“1999”，“unstructured”：“Wang，D.（1999）：Eliminational methods Springer-Verlag，Wien New York（出版中）。181，184，185，186，187，188，189，191，196，198”}，}，“key“：”10_CR22“首页”：“207”，“卷”：“4”，“作者”：“W.-t.Wu”，“年份”：“1984”，“非结构化”：“Wu，W.-t.（1984）：初等几何中机械定理证明的基本原理。J.系统。科学。数学。科学。4:207\u2013235。180、181、183、191“，“新闻标题”：“J.Syst。科学。数学。科学。}，{“key”：“10_CR23”，“首页”：“1”，“卷”：“4”，“作者”：“W.-t.Wu”，“年份”：“1989”，“非结构化”：“吴，W.-t（1989）：基于不可约升序集的类属零和Chow基。数学.机械.研究预印本4:1\u201321。181“，”新闻标题“：”数学。机械。研究预印本“}，{“key”：“10_CR24”，“首页”：“147”，“volume-title”：“数学中的人工智能”，“author”：“L.Yang”，“year”：“1994”，“unstructured”：“Yang，L.，Zhang，J.Z.（1994）：搜索代数方程之间的依赖关系：一种应用于自动推理的算法。摘自：《数学中的人工智能》（Johnson，J.、McKee，S.、Vella，A.编辑）。牛津大学出版社，牛津，第147\u2013156页存放“：{“date-parts”：[[2019,5,19]]，“date-time”：“2019-05-19T09:28:13Z”，“timestamp”：1558258093000}，“score”：1，“resource”：{（主要）：{”URL“：”http:\\/link.springer.com\/10.1007\/3-540-47997-X10“}}，”副标题“：[]，”短标题“：[]，“issued”：{“date-parts”：[1999]}，《ISBN》：[“97540540”666721“，”9783540479970“]，”references-count“：24，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-47997-x_10“，”关系“：{}，”ISSN“：[”0302-9743“]，”ISSN-type“：[{”值“：”0302-7743“，”类型“：”打印“}]，”主题“：[]，”发布“：{”日期-部分“：[[1999]]}，“断言”：[{“值”：“2000年11月17日”，“订单”：1，“名称”：“first_online”，“标签”：“first online”，“组”：{“名称”：“章节历史”，“标签”：“章历史”}}]}}