Institutional Repository
| 基于ZBDD的布尔多项式Gr?bner基算法的实现 | |
| 李昕; 张寅 | |
| 2011 | |
| Source | 计算机应用与软件
 |
| Issue | 2Pages:274-276 |
| English Abstract | 零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡内存消耗与计算速度;基于它的布尔多项式Gr?bner基算法可以在运算中保持ZBDD结构的不变性从而进一步提高计算效率。用C++实现了布尔多项式的Gr?bner基计算并对其进行既约化处理,验证了该算法的可行性以及在运算效率上的提高。 |
| Indexed Type | cnki |
| Keyword | Zbdd gr?bner基 |
| Department | 中国矿业大学计算机学院;中国科学院软件研究所 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13917 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 基于ZBDD的布尔多项式Gr_bner基（242KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment