阿基拉·长井；井上舒太郎 在一般计算机代数系统上实现布尔Gröbner基和综合布尔Gróbner基础的一种方法。 （英语） Zbl 1434.13003号 Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际会议，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8592, 531-536 (2014). 摘要：我们研究了一种计算布尔Gröbner基的实现方法，该方法在我们之前的工作中引入[COE Lect.注22，58–62（2009；Zbl 1186.68581号)]更加详细。我们使用中引入的技术扩展了计算综合布尔Gröbner基的方法[Y.佐藤等，Lect。注释计算。科学。5081, 334–348 (2008;Zbl 1166.13303号)]. 我们的工作已经在计算机代数系统Risa/Asir上实现。它使我们能够完成布尔Gröbner基的非平凡应用的最新工作。有关整个系列，请参见[Zbl 1293.65003号]. MSC公司： 13-04 与交换代数有关的问题的软件、源代码等 13页第10页 Gröbner基地；理想和模块的其他基础（例如Janet和border基础） 68瓦30 符号计算和代数计算 关键词：布尔Gröbner基；布尔环 引文：Zbl 1186.68581号；Zbl 1166.13303号 软件：单一；Risa/Asir公司；PolyBoRi公司；岩浆 PDF格式BibTeX公司 XML格式引用 \textit{A.Nagai}和\textit{S.Inoue}，Lect。注释计算。科学。8592、531--536（2014年；Zbl 1434.13003） 全文： 内政部