中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共22条，第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  
SONC optimization and exact nonnegativity certificates via second-order cone programming 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2023, 卷号: 115, 页码: 346-370
作者:  Magron, Victor;  Wang, Jie
收藏  |  浏览/下载：118/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  
New bounds and an efficient algorithm for sparse difference resultants 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 107, 页码: 279-298
作者:  Yuan, Chun-Ming;  Zhang, Zhi-Yong
收藏  |  浏览/下载：145/0  |  提交时间：2021/10/26
Sparse difference resultant  Laurent transformally essential system  Sparse resultant  Complexity  
Unirational differential curves and differential rational parametrizations 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 104, 页码: 539-562
作者:  Fu, Lei;  Li, Wei
收藏  |  浏览/下载：151/0  |  提交时间：2021/04/26
Unirational differential curve  Proper differential rational parametrization  Differential resultants  Implicitization  
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  
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
收藏  |  浏览/下载：291/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
收藏  |  浏览/下载：119/0  |  提交时间：2020/09/23
Black box  Interpolation  Kronecker substitution  
Apparent singularities of D-finite systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2019, 卷号: 95, 页码: 217-237
作者:  Chen, Shaoshi;  Kauers, Manuel;  Li, Ziming;  Zhang, Yi
收藏  |  浏览/下载：163/0  |  提交时间：2020/01/10
D-finite system  Grobner basis  Ordinary point  Formal power series  Apparent singularity  Desingularization  
Reduction-based creative telescoping for fuchsian D-finite functions 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2018, 卷号: 85, 页码: 108-127
作者:  Chen, Shaoshi;  van Hoeij, Mark;  Kauers, Manuel;  Koutschan, Christoph
收藏  |  浏览/下载：141/0  |  提交时间：2018/07/30
D-finite function  Integral basis  Trager's reduction  Telescoper