中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共5条，第1-5条 帮助

限定条件                        
已选(0)清除 条数/页：   排序方式：
Algorithms for computing greatest common divisors of parametric multivariate polynomials 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 102, 页码: 3-20
作者:  Kapur, Deepak;  Lu, Dong;  Monagan, Michael;  Sun, Yao;  Wang, Dingkang
收藏  |  浏览/下载：250/0  |  提交时间：2020/09/23
Parametric multivariate polynomials  Gcd system  Minimal comprehensive Grobner system  Ideal intersection  Ideal quotient  
The lightest 4 x 4 MDS matrices over GL(4, F-2) 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61, 期号: 11, 页码: 3
作者:  Bai, Jian;  Li, Ting;  Sun, Yao;  Wang, Dingkang;  Lin, Dongdai
收藏  |  浏览/下载：154/0  |  提交时间：2018/11/16
Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method 期刊论文
JOURNAL OF AUTOMATED REASONING, 2017, 卷号: 59, 期号: 3, 页码: 331-344
作者:  Zhou, Jie;  Wang, Dingkang;  Sun, Yao
收藏  |  浏览/下载：98/0  |  提交时间：2018/07/30
Zero divisor  True on components  Grobner basis  Geometric theorem proving  Geometric theorem discovery  
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
收藏  |  浏览/下载：110/0  |  提交时间：2018/07/30
Grobner basis  The GVW algorithm  Signature-based algorithm  Linear algebra  Boolean polynomial ring  
The F5 algorithm in Buchberger's style 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2011, 卷号: 24, 期号: 6, 页码: 1218-1231
作者:  Sun, Yao;  Wang, Dingkang
收藏  |  浏览/下载：74/0  |  提交时间：2018/07/30
Buchberger's style  F5 algorithm  Grobner basis