基于ZBDD的布尔多项式Gr?bner基算法的实现
文献类型：期刊论文
| 作者 | 李昕 ; 张寅 |
| 刊名 | 计算机应用与软件
 |
| 出版日期 | 2011 |
| 期号 | 2页码:274-276 |
| 关键词 | ZBDD Gr?bner基 |
| 中文摘要 | 零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡内存消耗与计算速度;基于它的布尔多项式Gr?bner基算法可以在运算中保持ZBDD结构的不变性从而进一步提高计算效率。用C++实现了布尔多项式的Gr?bner基计算并对其进行既约化处理,验证了该算法的可行性以及在运算效率上的提高。 |
| 收录类别 | cnki |
| 公开日期 | 2011-10-10 |
| 源URL | [http://124.16.136.157/handle/311060/13917]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 李昕,张寅. 基于ZBDD的布尔多项式Gr?bner基算法的实现[J]. 计算机应用与软件,2011(2):274-276. |
| APA | 李昕,&张寅.(2011).基于ZBDD的布尔多项式Gr?bner基算法的实现.计算机应用与软件(2),274-276. |
| MLA | 李昕,et al."基于ZBDD的布尔多项式Gr?bner基算法的实现".计算机应用与软件 .2(2011):274-276. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。