CSpace

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

已选(0)清除 条数/页:   排序方式:
Solving Multivariate Polynomial Matrix Diophantine Equations with Grobner Basis Method 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2021, 页码: 14
作者:  Xiao Fanghui;  Lu Dong;  Wang Dingkang
收藏  |  浏览/下载:119/0  |  提交时间:2021/04/26
Grö  bner basis  matrix Diophantine equation  module  multivariate polynomial  
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
收藏  |  浏览/下载:260/0  |  提交时间:2020/09/23
Parametric multivariate polynomials  Gcd system  Minimal comprehensive Grobner system  Ideal intersection  Ideal quotient  
A Survey on Algorithms for Computing Comprehensive Grobner Systems and Comprehensive Grobner Bases 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 234-255
作者:  Lu Dong;  Sun Yao;  Wang Dingkang
收藏  |  浏览/下载:162/0  |  提交时间:2019/04/02
Comprehensive Grobner basis  comprehensive Grobner system  discovering geometric theorems mechanically  parametric polynomial system  quantifier elimination  
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
收藏  |  浏览/下载:163/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
收藏  |  浏览/下载:110/0  |  提交时间:2018/07/30
Grobner basis  The GVW algorithm  Signature-based algorithm  Linear algebra  Boolean polynomial ring  
A new proof for the correctness of the F5 algorithm 期刊论文
中国科学:数学(英文版), 2013, 卷号: 56, 期号: 4, 页码: 745-756
作者:  Sun Yao;  Wang DingKang
收藏  |  浏览/下载:91/0  |  提交时间:2021/01/14
GROBNER BASES  Grobner basis  F5  F5B  correctness of F5  
Computing polynomial univariate representations of zero-dimensional ideals by Grobner basis 期刊论文
SCIENCE CHINA-MATHEMATICS, 2012, 卷号: 55, 期号: 6, 页码: 1293-1302
作者:  Ma XiaoDong;  Sun Yao;  Wang DingKang
收藏  |  浏览/下载:93/0  |  提交时间:2021/01/14
BASES  COMPUTATION  ALGORITHMS  RESULTANTS  RUR  PUR  zero-dimensional ideals  Grobner basis  
On computing Grobner bases in rings of differential operators 期刊论文
SCIENCE CHINA-MATHEMATICS, 2011, 卷号: 54, 期号: 6, 页码: 1077-1087
作者:  Ma XiaoDong;  Sun Yao;  Wang DingKang
收藏  |  浏览/下载:87/0  |  提交时间:2018/07/30
Grobner basis  rings of differential operators  
Gr(o)bner bases in difference-differential modules and difference-differential dimension polynomials 期刊论文
Science in China. Series A: Mathematics, 2008, 卷号: 51, 期号: 9, 页码: 1732
作者:  ZHOU Meng;  Franz WINKLER
收藏  |  浏览/下载:169/0  |  提交时间:2020/01/10
Implicitization of rational curves and polynomial surfaces 期刊论文
BULLETIN OF THE KOREAN MATHEMATICAL SOCIETY, 2007, 卷号: 44, 期号: 1, 页码: 13-29
作者:  Yu, Jian-ping;  Sun, Yong-li
收藏  |  浏览/下载:121/0  |  提交时间:2018/07/30
implicitization  rational curve  polynomial surface  implicit curve(surface)  Grobner bases  characteristic set