PolyBoRi公司 swMATH ID: 723 软件作者: 亚历山大·德雷耶(Alexander Dreyer);迈克尔·布里肯斯坦 描述: Polybori:用布尔多项式进行Gröbner基计算的框架。这项工作提出了一个使用布尔多项式进行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 编程语言: Python、Sage、C++ 操作系统: 多种 依赖项: 枫树 关键词: 形式;布尔Groebner基;形式验证;代数密码分析;可满足性 相关软件: 单一;SageMath公司;岩浆;FGb公司;CUDD公司;超小卫星;Trivium公司;瘦身;可可;枫树;序列密码;加密MiniSat;ApCoCoA公司;蟒蛇;麦考利2;伙计;MXL3型;出席;CNF发电机;安托姆 引用于: 50文件 ORMS中也引用了该软件。 更多出版物: http://polybori.sourceforge.net/doc/tutorial/tutoriali1.html#x6-510004.2 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Polybori:用布尔多项式进行Gröbner基计算的框架。 Zbl 1186.68571号迈克尔·布里肯斯坦;亚历山大·德雷耶 2009 全部的 前5名91位作者引用 7 迈克尔·布里肯斯坦 5 安东尼奥·埃尔南多 5 尤金尼奥·罗内斯·洛扎诺 4 马丁·R·阿尔布雷希特。 4 Cid,卡洛斯·弗雷德里科 4 亚历山大·德雷耶 4 马丁·克鲁泽 三 简·霍拉克 三 罗伯托·马丁内斯音乐大师 三 雅各布·诺德斯特伦 三 孙尧 2 Faugère、Jean-Charles 2 高晓山 2 黄振宇 2 井上,Shutaro 2 马西莫·劳里亚 2 卢多维奇·佩雷特 2 巴特·普雷内尔 2 王定康 2 王美琴 1 阿古德洛·阿古德罗,胡安·C。 1 阿隆索、何塞·安东尼奥 1 阿尔伯特·阿塞里亚斯 1 格雷戈里·巴德。 1 克里斯·贝克 1 伊拉里奥·博纳西纳 1 斯坦尼斯拉夫·布利金五世。 1 柴凤娟 1 Cheng、Chen-Mou 1 邱一浩 1 周立平 1 迪亚戈·西富恩特斯 1 尼古拉斯·科斯特斯 1 维斯纳·迪米特洛娃 1 丁金泰 1 托马斯·杜利恩 1 埃切韦里·巴伦西亚,圣地亚哥 1 克里斯蒂安·埃德尔 1 托拜厄斯·艾巴赫 1 伯里钦·埃罗卡尔 1 尤瓦尔,菲尔姆斯 1 尼古拉·加莱西 1 路易斯·戴维·加西亚·普恩特 1 加西亚,丽贝卡·E。 1 贾斯汀·加斯 1 达尼洛·格里戈罗斯基 1 格特·马丁·格雷尔 1 洪伟智 1 约翰·彼得·因德罗伊 1 西蒙·内尔沃尔夫 1 瑞安·克鲁斯 1 林东岱 1 刘杰西卡 1 塞缪尔·隆德奎斯特 1 马可夫斯基,微笑 1 威利·迈尔 1 Messeng Ekossono,Ange-Salomé 1 丹麦宫田 1 尼基·穆哈 1 Katsusuke Nabeshima 1 阿基拉·长井 1 豪尔赫·朱·纳卡哈拉(Jorge jun Nakahara)。 1 玛丽亚·普拉森西亚 1 巴勃罗·帕里洛。 1 约翰·爱德华·佩里 1 伊桑·彼得森 1 凯特琳·菲利普森 1 恩里科·皮尔茨 1 弗兰克·奎登菲尔德。 1 赫瓦尔德拉德姆 1 阿德里安·拉内亚。 1 科托萨凯 1 佐藤、优介 1 普扬Sepehrdad 1 萧,安妮 1 戴维·斯基德莫尔 1 孙悦 1 铃木、亚基拉 1 唐邦生 1 Jorge A.Tejedor。 1 尼尔·萨彭 1 约阿希姆·范德斯米森 1 冈纳尔·沃尔克尔 1 马库斯·韦德勒 1 拉尔夫·菲利普·温曼 1 奥利弗·维南德 1 克里斯托弗·沃尔夫(Christopher A.Wolf)。 1 杨伯寅 1 袁春明 1 张冰生 1 邹一鸣 全部的 前5名18篇连载文章中引用 8 符号计算杂志 三 模拟中的数学和计算机 三 计算机科学中的数学 2 纯粹与应用代数杂志 1 ACM数学软件汇刊 1 SIAM计算机杂志 1 SIAM离散数学杂志 1 国际代数与计算杂志 1 应用非经典逻辑杂志 1 数学与人工智能年鉴 1 计算系统理论 1 Revista Matemática Complutense公司 1 系统科学与复杂性杂志 1 ACM计算逻辑事务 1 离散和连续动力系统。S系列 1 计算机代数中的ACM通信 1 组、复杂性、密码学 1 《科学与自然》Ciencias Exactas皇家科学院修订版。意甲:马特马斯。RACSAM公司 全部的 前5名在15个字段中引用 29 计算机科学(68-XX) 21 交换代数(13-XX) 19 信息与通信理论、电路(94-XX) 10 阶、格、有序代数结构(06-XX) 7 数学逻辑和基础(03-XX) 4 数论(11-XX) 三 场论和多项式(12-XX) 2 群论与推广(20-XX) 2 数值分析(65-XX) 2 生物学和其他自然科学(92-XX) 1 组合数学(05-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文