{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,12,8]]，“日期-时间”：“2023-12-08T01:43:52Z”，“时间戳”：1701999832818}，“引用-计数”：30，“发布者”：“爱思唯尔BV”，“问题”：“5”，“许可证”：[{“开始”:{“日期-零件”：[[2011,5,1]]，”日期-时间“：”2011-05-01T00:00:00Z“，“时间戳”：1304208000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2015,5,1]]，“date-time”：“2015-05-01T00:00:00Z”，“timestamp”：1430438400000}，“content-version”：“vor”，“delay-in-days”：1461，“URL”：“https:\/\\/www.elssevier.com.\/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Journal of Symbolic Computation”]，“published-print”：{“date-parts”：[[2011,5]]}，”DOI“：”10.1016\/j.jsc.2010.10.011“，”type“：”Journal-article“，”created“：{”date-part“：[2010,10,14]，”date-time“：”2010-10-14T09:59:38Z“，”timestamp“：128705037800}”，“page”：“622-632”，“source“：”Crossref“，“is-referenced-by-count”：12，“title”：[“Boolean Gr\u00f6bner bases”]，“prefix”：“10.1016”，“volume”：“46”，“author”：[{“给定”：“Yosuke”，“family”：“Sato”，“sequence”：“first”，“affiliation”：[]}，{“givent”：“Shutaro”，“家人”：“井上”，“序列”：“additional”，“从属关系”：[]}，“givente”：“Akira”，“家庭”：“铃木“，”sequence“：”additional“，”affiliation“：[]}，{”given“：“Katsusuke”，“family”：“Nabeshima”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Ko”，“家族”：“Sakai”，“序列”：“附加”，“从属”：[]}]，“成员”：“78”，“引用”：[{“issue”：“2”，“key”：”10.1016\/j.jsc.2010.1011_br000005“，”doi-asserted-by“：”crossref“，“首页”：“101”，“doi”：“10.4169\/074683410x480203”，“文章标题”：“Gr\u00f6bner Basis representations of Sudoku”，“volume”：“41”，“author”：“Arnold”，“year”：“2010”，“journal-title”：“College Math.J.”}，{“key”：”10.1016\/J.jsc.2010.1011_br000010“，“unstructured”：“Bernasconi，A.，Codenotti，B.，Crespi，V.，Resta，G.，1997。使用计数应用程序在布尔设置中计算Gr\u00f6bner基。收录于：G.Italiano&S.Orlando，（编辑），《算法工程研讨会论文集》，WAE 97，威尼斯大学，威尼斯，201313年9月11日，1997年。pp 209\u2013218.“}，{”issue“：”3\u20134“，”key“：”10.1016\/j.jsc.2010.10.011_br000015“，”doi-asserted-by“：”crossref“，”first page“：“235”，”doi“：”101006\/jsco.1996.0125“，”article-title“：”The Magma algebral system.I.用户语言“，”volume“:”24“，”author“：”Bosma“，”year“：”1997“，”journal-title”：“j.Symbolic Compute”。}，{“问题”：“9”，“密钥”：10.1016\/j.jsc.2010.10.011_br000020“，”doi-asserted-by“：”crossref“，“first page”：“1326”，“doi”：“10.1016\/j.jsch.2008.02.017”，“article-title”：“Gr\u00f6bn布尔多项式基计算框架”，“volume”：”44“，”author“：”Brickenstein“，”year“：”2009“，”journal-title“：”j.Symbolic Compute。“}，{”key“：”10.1016\/j.jsc.2010.1011_br000025“，”doi-asserted-by“：”crossref“，”first page“：“1612”，“doi”：“10.1016\/j.jpaa.2008.11.043”，“article-title”：“Groebner基理论的新发展及其在形式验证中的应用”，“volume”：“213”，“author”：“Brickenstein”，“year”：“2009”，“journal-title“：”j.Pure Appl.Algebra“}”，{“key”：“10.1016\/j.jsc.2010.1011_br000030“，”doi-asserted-by“：”crossref“，”unstructured“：”Decker，W.，Greuel，G.-M.，Pfister，G.，Sch\u00f6nemann，H.，2010。奇异3-1-2\u2014用于多项式计算的计算机代数系统。http://www.singular.uni-kl.de\/。“，”DOI“：”10.1145\\1504347.1504377“｝，｛”issue“：”11\u201312“，”key“：”10.1016\\j.jsc.2010.10.011_br000035“，”DOI asserted by“：”crossref“，”first page“：”1142“，”DOI“：”10.1016\\j.jsc.2007.07.004“，”article title“：”Gr\u00f6bner碱基和与顺序自动复制相关的拉丁方块数\u22647“，”volume“：”42“，”author“：”Falcon“，“年份”：“2007”，“journal-title“：《符号计算杂志》。“}，{”key“：”10.1016\/j.jsc.2010.1011_br000040“，”series-title“：”CRYPTO 2003年会议记录“，”第一页“：”44“，”article-title“：“使用Gr\u00f6bner基的隐场方程（HFE）密码系统的代数密码分析”，“volume”：“vol.2729”，“author”：“Faugere”，“year”：“2003”}，”{“key”：”10.116\/j.jsc.2010.10.011_br000045“，”series-title“：”《中国科学院院刊2009》，“首页”：“79”，“article-title”：“求解结构化多项式系统及其在密码学中的应用”，“卷”：“第5743卷”，“作者”：“Faugere”，“年份”：“2003”}，{“key”：“10.1016\/j.jsc.2010.111_br000050”，“series-title”：数独和Gr\u00f6bner bases:not only a Divertimento“，”volume“：”vol.4194“，”author“：”Gago-Vargas“，”year“：”2006“}，{“key”：“10.1016\/j.jsc.2010.10.011_br000055”，”doi-asserted-by“：”crossref“，”unstructured“：”Gerdt，V.P.，Zinin，M.V.，2008。一种计算布尔环中Gr\u00f6bner基的pommaret除法算法。收录于：ISSAC 2008年会议记录。pp 95\u2013102.“，”DOI“：”10.1145\/1390768.1390784“}，{“key”：“10.1016\/j.jsc.2010.1.011_br000060”，“series-title”：“CASC 2009会议录”，“首页”：“130”，“文章标题”：“关于布尔Gr\u00f6bner基的计算”，“卷”：“5743”，“author”：“Inoue”，“年份”：“2009”}，“key“：”101016\/j.jsc.2010.1.011_br000065“，”非结构化“：”井上，S.，2009年。用于Sets\u2013的BGSet\u2013布尔Groebner基。http://www.mi.kagu.tus.ac.jp\/~inoue\/BGSet\/。“}，{”key“：”10.1016\/j.jsc.2010.1011_br000070“，”unstructured“：”Inoue，S.，2010。基于布尔Gr\u00f6bner基的高效单值集约束求解。收录于：《日本符号和代数计算学会通讯》，第1卷（出版中）。“}，{”key“：”10.1016\/j.jsc.2010.111_br000075“，”series-title“：”Proceedings First International Conference on Rewriting Techniques and Applications（RTA-85）“，”First page“：“345”，”article-title“：“交换代数上的词问题和统一问题的理想理论方法”，“volume”：“vol.202”，“author”：“Kandri-Rody”，“year”：“1985”}，｛“key”：“10.1016\/j.jsc.2010.10.011_br000080”，“series title”：“约束编程的原理和实践”，“第一页”：“217”，“文章标题”：“求解参数多项式方程组的方法”，“作者”：“Kapur”，“年份”：“1995”｝，｛“issue”：“2”，“key”：“10.1016\/j.jsc.2010.10.011_br000085”，“doi asserted by”：“crossref”，“第一页”：“183”，“DOI”：“10.1006\/jsco.2001.0504”，“article-title”：“用参数讨论Gr\u00f6bner基的新算法”，“volume”：“33”，“author”：“Montes”，”year“：”2002“，”journal-title“：”J.Symbolic Compute.“}，{“issue”：“11”，“key”：”10.1016\/J.jsc.2010.1011_br000090“，”DOI-asserted-by“：”crossref“，”first page“124”5“，”DOI“：”10.1016\/J.jsc.2005.09.013“，“article-title”：“使用判别理想改进DISPGB算法”，“volume”：“41”，“author”：“Manubens”，“year”：“2006”，“journal-title“：”J.Symbolic Compute.“}，{“key”：”10.1016\/J.jsc.2010.1011_br000095“，”unstructured“：”Noro，M.，et al.2009。计算机代数系统Risa \/Asir。http://www.math.kobe-u.ac.jp\/Asir\/Asir.html。“}，{”key“：”10.1016\/j.jsc.2010.1011_br000100“，”series-title“：”布尔函数和方程“，”author“：”Rudeanu“，”year“：”1974“}”，{“key”：“10.1016//j.jsc.2010.10.011_br000105”，“series-ttle”：“关于布尔多项式环的消去理想的计算”，“首页”：“334”，“卷”：“vol.5081”，“author”：“Sato”，“year”：“2008”}，{“密钥”：“10.1016\/j.jsc.2010.1011_br000110“，”非结构化“：”Sakai，K.，Sato，Y.，1988。布尔Gr\u00f6bner基。ICOT Technical Momorandum 488。http://www.jipdec.或.jp\/archives\/icot\/ARCHIVE\/Museuse\/TRTM\/tm0488.htm。“}，{”key“：”10.1016\/j.jsc.2010.1011_br000115“，”非结构化“：”Sakai，K.，Sato，Y.，Menju，S.，1991。布尔Gr\u00f6bner基（修订版）。ICOT技术报告613。http://www.jipdec.或.jp\/archives\/icot\/ARCHIVE\/Museuse\/TRTM\/tr0613.htm。}，{“key”：“10.1016\/j.jsc.2010.1011_br000120”，“非结构化”：“Sato，Y.等人，1995。设置约束解算器（Prolog版本）。http://www.jipdec.或.jp\/archives\/icot\/ARCHIVE\/Museuse\/FUNDING\/FUNDING-95-E.html。“}，{”key“：”10.1016\/j.jsc.2010.1011_br000125“，”doi-asserted-by“：”crossref“，”unstructured“：”Sato，Y.，1998年。Von Neumann正则环上多项式环中的一类新的正则Gr\u00f6bner基。摘自：1998年国际标准化协会会议记录。第317\u2013321页，“DOI”：“10.1145\/281508.281658”}，{“key”：“101016\/j.jsc.2010.1011_br000130”，“非结构化”：“Sato，Y.等人，1998年。设置约束解算器（Klic版本）。http://www.jipdec.或.jp\/archives\/icot\/ARCHIVE\/Museuse\/FUNDING\/FUNDING-98-E.html。“｝，｛”issue“：”3\u20134“，”key“：”10.1016\/j.jsc.2010.10.011_br000135“，”doi asserted by“：”crossref“，”首页“：”649“，”doi“：”10.1016\/S0747-771（03）00098-1“，”文章标题“：”综合Gr\u00f6bner基础的替代方法“，”卷“：”36“，”作者“：”Suzuki“，”年份“：”2003“，”期刊标题“：”符号计算“｝，｛”key“：”10.1016\/j.jsc.2010.1011_br000140“，”doi-asserted-by“：”crossref“，”unstructured“：”铃木，A.，佐藤，Y.，2006。使用Gr基计算综合Gr基的简单算法。摘自：ISSAC 2006年会议记录。pp.326\u2013331.“，”DOI“：”10.1145\/1145768.1145821“}，{“key”：“10.1016\/j.jsc.2010.1011_br000145”，“series-title”：“EUROCAL\u201987”，“first page”：”336“，”article-title“：”交换正则环上多项式理想中的Gr\u00f6bner基“，”volume“：”vol.378“，”author“：”Weispfening“，”year“：”1989“}”，{”issue“：“1”，“键”：“10.1016\/j.jsc.2010.10.011_br000150“，”doi-asserted-by“：”crossref“，”first page“：”1“，”doi“：”10.1016\/0747-7171（92）90023-W“，”article-title“：”Comprehensive Gr\u00f6bner bases“，”volume“：“14”，”author“：”Weispfenning“，”year“：”1992“，”journal-title”：“j.Symbolic Compute”。“}]，”容器标题“：[”符号计算杂志“]，”原始标题“：[]，”语言“：”en“，”链接“：[｛”URL“：”https:\/\/api.elsevier.com\/content\/article\/PII:S07747717110001180X？httpAccept=text\/xml“，”内容类型“：”text\/xml“，”内容版本“：”vor“，”预期应用程序“：”文本挖掘“｝，｛”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0747711000180X？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,6,5]]，“date-time”：“2019-06-05T13:14:36Z”，“timestamp”：1559740476000}，“score”：1，“resource”：{primary“：{”URL“：”https://linkinghub.elsevier.com//retrieve\/pii\/S074 771711000180X“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2011,5]]}，”references-count“：30，”journal-sissue“：{“issue”：“5”，“published-print”：{“date-part”：[[2011.5]]]}}，“alternative-id”：[“S0747711000180X”]，“URL”：“http://\/dx.doi.org\/101016\/j.jsc.2010.11.011”，“relation”：{}，《ISSN》：[”0747-7171“]，”ISSN-type“：[{”value“：”0747-7717“，”type“:”print“}]，”subject“：[]，“发布了“：{“date-parts”：[[2011,5]]}}}