聚硼 swMATH标识： 723 软件作者： 亚历山大·德雷耶；迈克尔·布里肯斯坦 说明： Polybori：用布尔多项式进行Gröbner基计算的框架。这项工作提出了一个新的框架计算格布纳基布尔多项式。布尔多项式可以用一种相当简单的方式建模，系数和每个变量的度数都在{0,1}。然而，布尔多项式环不是多项式环，而是域上多项式环的商环，两个元素对每个变量x的场方程x2=x进行模化。因此，通常的多项式数据结构似乎不适合快速的Gröbner基计算。我们介绍了一种基于零抑制二元决策图的布尔多项式的专用数据结构，它能够在内存消耗和计算速度方面更有效地处理这些多项式。此外，我们集中在高级算法方面，考虑到新的数据结构以及布尔多项式的结构特性。例如，引入了布尔环中Gröbner基计算的一个新的无用对准则。我们工作的动机之一是基于布尔表达式的形式化硬件和软件验证的重要性越来越大，这除了问题的复杂性之外，还因为缺乏对算术组件的适当处理而受到影响。我们确信代数方法更适合，我们相信我们的初步实现表明，基于特定数据结构的Gröbner可以处理工业规模的问题。 主页： http://polybori.sourceforge.net/ 参考手册： http://polybori.sourceforge.net/doc/tutorial/index.html 编程语言： 蟒蛇，鼠尾草，C++ 操作系统： 多种 关键词： orms公司;布尔Groebner基;形式验证;代数密码分析;可满足性 相关软件： 单数;岩浆;FGb公司;圣哲;卡德;超小卫星;三层;瘦身;可可;枫木;序列密码;密码迷你;阿科科亚;蟒蛇;麦考拉2;MXL3型;出席;中广核;安托姆;糠 参考文献： 48种出版物 ORMS中也引用了该软件。 其他出版物： http://polybori.sourceforge.net/doc/tutorial/tutorial1.html\x6-510004.2号 标准条款 1个出版物描述软件，包括1个出版物在zbMATH 年 Polybori：用布尔多项式进行Gröbner基计算的框架。 Zbl 1186.68571布里肯斯坦，迈克尔;德雷耶，亚历山大 2009 全部的 前5名89位作者引用 7 布里肯斯坦，迈克尔 5 安东尼奥，赫尔南多 5 罗恩斯·洛扎诺，尤金尼奥 4 阿尔布雷希特，马丁R。 4 Cid，卡洛斯·弗雷德里科 4 德雷耶，亚历山大 4 克鲁泽，马丁 三 霍拉切克，一月 三 马蒂斯特·马丁内斯，罗伯托 三 诺德斯特伦，雅各布 三 孙，姚 2 福盖尔，让·查尔斯 2 高，萧山 2 黄振宇 2 井上，舒塔罗 2 劳里亚，马西莫 2 佩雷特，卢多维奇 2 王丁康 2 王美琴 1 阿奎德罗·阿奎德罗，胡安·C。 1 阿隆索，何塞-安东尼奥 1 阿塞里亚，阿尔伯特 1 巴德，格雷戈里五世。 1 贝克，克里斯 1 博纳奇纳，伊拉里奥 1 布莱金，斯坦尼斯拉夫诉。 1 柴凤娟 1 程某、陈某 1 赵怡豪 1 周李平 1 Cifuntes，迭戈 1 科斯特斯，尼古拉斯 1 迪米特罗娃，维斯纳 1 丁金泰 1 多伦，托马斯 1 埃切弗里瓦伦西亚，圣地亚哥 1 埃德尔，克里斯蒂安 1 艾巴赫，托拜厄斯 1 埃尔卡，布鲁因 1 菲默斯，尤瓦 1 Galesi，尼古拉 1 加西亚·普恩特，路易斯·大卫 1 加西亚，丽贝卡。 1 加什，贾斯汀 1 格里戈洛斯基，丹尼洛 1 格雷尔，格特马丁 1 洪伟志 1 因德罗，约翰·佩特 1 克内尔沃尔夫，西蒙 1 克鲁斯，瑞安 1 林，东岱 1 刘，杰西卡 1 伦德奎斯特，塞缪尔 1 马科夫斯基，微笑 1 梅尔，威利 1 梅森·埃科索诺，安格·萨洛梅 1 丹麦米雅塔 1 穆哈，尼基 1 Nabeshima，Katsusuke 1 长井，秋原 1 中原，豪尔赫·俊。 1 纳亚普拉森西亚，玛里亚 1 帕里洛，巴勃罗A。 1 佩里，约翰·爱德华 1 彼得森，伊森 1 菲利森，凯特琳 1 皮尔兹，恩里克 1 普雷内尔，巴特 1 奎登费尔德，弗兰克-M。 1 拉德杜姆，赫瓦德 1 罗恩·泽维，诺加 1 酒井，Kô 1 佐藤，优介 1 分开，普扬 1 秀，安妮 1 孙悦 1 铃木、秋葵 1 唐邦生 1 特杰多，豪尔赫A。 1 泰彭，尼尔 1 沃克尔，冈纳 1 韦德勒，马库斯 1 温曼，拉尔夫·菲利浦 1 维南，奥利弗 1 沃尔夫，克里斯托弗A。 1 杨伯音 1 袁春明 1 张冰生 1 邹一鸣 全部的 前5名在17个系列中引用 8 符号计算杂志 三 模拟中的数学与计算机 三 计算机科学中的数学 2 纯粹与应用代数杂志 1 数学软件ACM交易 1 暹罗计算机杂志 1 暹罗离散数学杂志 1 国际代数与计算杂志 1 应用非经典逻辑杂志 1 数学与人工智能年鉴 1 复合材料评审 1 系统科学与复杂性杂志 1 计算逻辑学报 1 离散和连续动力系统。S系列 1 计算机代数中的ACM通信 1 群，复杂性，密码学 1 科学与自然科学研究院检阅。意甲：马蒂卡。浣熊 全部的 前5名在15个字段中引用 28 计算机科学（68-XX） 21 交换代数（13-XX） 18 信息与通信理论，电路（94-XX） 9 序，格，有序代数结构（06-XX） 8 数理逻辑与基础（03-XX） 三 数论（11-XX） 三 场论与多项式（12-XX） 2 群论与推广（20-XX） 2 数值分析（65-XX） 2 生物学和其他自然科学（92-XX） 2 系统论；控制（93-XX） 1 组合数学（05-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 运筹学，数学规划（90-XX） 1 博弈论、经济学、金融学和其他社会和行为科学（91-XX） 按年份引用出版物