中文版 | English

在结果中检索

CSpace

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

限定条件        
已选(0)清除 条数/页：   排序方式：
An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2023, 卷号: 115, 页码: 248-265
作者:  Wang, Dingkang;  Wang, Hesong;  Wei, Jingjing;  Xiao, Fanghui
收藏  |  浏览/下载：102/0  |  提交时间：2023/02/07
Extended greatest common right divisor  Parametric univariate polynomial matrix  Comprehensive Gr?bner system  Smith normal form  
New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2023, 卷号: 115, 页码: 266-284
作者:  Lu, Dong;  Wang, Dingkang;  Xiao, Fanghui
收藏  |  浏览/下载：97/0  |  提交时间：2023/02/07
Multivariate polynomial matrices  Matrix factorization  Matrix equivalence  Column reduced minors  Gr?bner basis  
On factor left prime factorization problems for multivariate polynomial matrices 期刊论文
MULTIDIMENSIONAL SYSTEMS AND SIGNAL PROCESSING, 2021, 页码: 18
作者:  Lu, Dong;  Wang, Dingkang;  Xiao, Fanghui
收藏  |  浏览/下载：130/0  |  提交时间：2021/04/26
Multivariate polynomial matrices  Matrix factorizations  Factor left prime (FLP)  Column reduced minors  Free modules  
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  
An Improvement of the Rational Representation for High-Dimensional Systems 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 页码: 18
作者:  Xiao, Fanghui;  Lu, Dong;  Ma, Xiaodong;  Wang, Dingkang
收藏  |  浏览/下载：143/0  |  提交时间：2021/01/14
Comprehensive Grobner systems  high-dimensional polynomial system  rational representation  rational univariate representation  
Hilbert Problem 15 and Ritt-Wu Method (II) 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 页码: 15
作者:  Li, Banghe;  Wang, Dingkang
收藏  |  浏览/下载：129/0  |  提交时间：2020/09/23
Cubic curves with cusp  Hilbert problem 15  Ritt-Wu method  
Factorizations for a class of multivariate polynomial matrices 期刊论文
MULTIDIMENSIONAL SYSTEMS AND SIGNAL PROCESSING, 2020, 卷号: 31, 期号: 3, 页码: 989-1004
作者:  Lu, Dong;  Wang, Dingkang;  Xiao, Fanghui
收藏  |  浏览/下载：132/0  |  提交时间：2020/06/30
Multivariate polynomial matrices  Matrix factorization  Reduced minors  Reduced Grobner basis  
On the Construction of Involutory MDS Matrices overF2m 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 卷号: 33, 期号: 3, 页码: 836-848
作者:  Bai, Jian;  Sun, Yao;  Wang, Dingkang
收藏  |  浏览/下载：160/0  |  提交时间：2020/09/23
Diffusion layer  involutory MDS matrix  lightweight  
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