CSpace

浏览/检索结果: 共7条,第1-7条 帮助

限定条件                
已选(0)清除 条数/页:   排序方式:
Speeding Up the GVW Algorithm via a Substituting Method 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 205-233
作者:  Li Ting;  Sun Yao;  Huang Zhenyu;  Wang Dingkang;  Lin Dongdai
收藏  |  浏览/下载:161/0  |  提交时间:2019/04/02
Grobner basis  GVW  signature-based algorithm  time-memory tradeoff  
An improvement over the GVW algorithm for inhomogeneous polynomial systems 期刊论文
FINITE FIELDS AND THEIR APPLICATIONS, 2016, 卷号: 41, 页码: 174-192
作者:  Sun, Yao;  Huang, Zhenyu;  Wang, Dingkang;  Lin, Dongdai
收藏  |  浏览/下载:109/0  |  提交时间:2018/07/30
Grobner basis  The GVW algorithm  Signature-based algorithm  Linear algebra  Boolean polynomial ring  
On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Grobner Basis Algorithms Using Linear Algebra 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2016, 卷号: 29, 期号: 3, 页码: 789-804
作者:  Sun Yao;  Huang Zhenyu;  Lin Dongdai;  Wang Dingkang
收藏  |  浏览/下载:116/0  |  提交时间:2018/07/30
Boolean polynomial rings  Grobner basis  implementation  linear algebra  
Solving Boolean equation systems and applications in cryptanalysis 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2016, 卷号: 59, 期号: 5, 页码: 2
作者:  Gao, Xiaoshan;  Huang, Zhenyu
收藏  |  浏览/下载:106/0  |  提交时间:2018/07/30
solvingbooleanequationsystemsandapplicationsincryptanalysis 期刊论文
sciencechinainformationsciences, 2016, 卷号: 59, 期号: 5, 页码: 2
作者:  Gao Xiaoshan;  Huang Zhenyu
收藏  |  浏览/下载:99/0  |  提交时间:2020/01/10
onimplementingthesymbolicpreprocessingfunctionoverbooleanpolynomialringsingrobnerbasisalgorithmsusinglinearalgebra 期刊论文
journalofsystemsscienceandcomplexity, 2016, 卷号: 29, 期号: 3, 页码: 789
作者:  Sun Yao;  Huang Zhenyu;  Lin Dongdai;  Wang Dingkang
收藏  |  浏览/下载:100/0  |  提交时间:2020/01/10
Rational solutions of ordinary difference equations 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2008, 卷号: 43, 期号: 10, 页码: 746-763
作者:  Feng, Ruyong;  Gao, Xiao-Shan;  Huang, Zhenyu
收藏  |  浏览/下载:100/0  |  提交时间:2018/07/30
rational solution  polynomial solution  ordinary difference equation  Puiseux series  Laurent series