×

聚硼

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

按年份引用出版物