×

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
全部的 前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 邹一鸣

按年份列出的引文