中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共15条，第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
收藏  |  浏览/下载：104/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  
SONC optimization and exact nonnegativity certificates via second-order cone programming 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2023, 卷号: 115, 页码: 346-370
作者:  Magron, Victor;  Wang, Jie
收藏  |  浏览/下载：120/0  |  提交时间：2023/02/07
Sum of nonnegative circuit polynomials  Second -order cone programming  Polynomial optimization  Sum of binomial squares  Rounding -projection algorithm  Exact nonnegativity certificate  
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
收藏  |  浏览/下载：259/0  |  提交时间：2020/09/23
Parametric multivariate polynomials  Gcd system  Minimal comprehensive Grobner system  Ideal intersection  Ideal quotient  
Computing real radicals and S-radicals of polynomial systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 102, 页码: 259-278
作者:  El Din, Mohab Safey;  Yang, Zhi-Hong;  Zhi, Lihong
收藏  |  浏览/下载：296/0  |  提交时间：2020/09/23
Polynomial system  Real radical  S-radical ideal  Semi-algebraic set  Real algebraic geometry  
Faster interpolation algorithms for sparse multivariate polynomials given by straight-line programs 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2020, 卷号: 101, 页码: 367-386
作者:  Huang, Qiao-Long;  Gao, Xiao-Shan
收藏  |  浏览/下载：120/0  |  提交时间：2020/09/23
Black box  Interpolation  Kronecker substitution  
Difference indices of quasi-prime difference algebraic systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2018, 卷号: 87, 页码: 1-13
作者:  Wang, Jie
收藏  |  浏览/下载：133/0  |  提交时间：2018/07/30
Difference index  Order of difference ideal  Hilbert-Levin regularity  Difference ideal membership problem  
Decomposition of ordinary difference polynomials 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 10, 页码: 1394-1409
作者:  Zhang, Mingbo;  Gao, Xiao-Shan
收藏  |  浏览/下载：63/0  |  提交时间：2018/07/30
Functional decomposition  Difference polynomial  Difference operator  Difference degree  
Characteristic set method for differential-difference polynomial systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 9, 页码: 1137-1163
作者:  Gao, X. S.;  Van der Hoeven, J.;  Yuan, C. M.;  Zhang, G. L.
收藏  |  浏览/下载：104/0  |  提交时间：2018/07/30
Characteristic set  Differential and difference polynomial  Regular ascending chain  Irreducible ascending chain  Zero decomposition algorithm  Perfect ideal membership problem  
Complete numerical isolation of real roots in zero-dimensional triangular systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 7, 页码: 768-785
作者:  Cheng, Jin-San;  Gao, Xiao-Shan;  Yap, Chee-Keng
收藏  |  浏览/下载：103/0  |  提交时间：2018/07/30
Triangular system  Real zero isolation  Sleeve bound  Evaluation bound