中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共55条，第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  
Knowledge mapping analysis of international research on environmental communication using bibliometrics 期刊论文
JOURNAL OF ENVIRONMENTAL MANAGEMENT, 2021, 卷号: 298, 页码: 12
作者:  Wu, Meifen;  Long, Ruyin;  Bai, Yun;  Chen, Hong
收藏  |  浏览/下载：108/0  |  提交时间：2022/04/02
Environmental communication  Knowledge map  CiteSpace  Bibliometrics  
New bounds and an efficient algorithm for sparse difference resultants 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 107, 页码: 279-298
作者:  Yuan, Chun-Ming;  Zhang, Zhi-Yong
收藏  |  浏览/下载：144/0  |  提交时间：2021/10/26
Sparse difference resultant  Laurent transformally essential system  Sparse resultant  Complexity  
On the existence of telescopers for rational functions in three variables 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 104, 页码: 494-522
作者:  Chen, Shaoshi;  Du, Lixin;  Wang, Rong-Hua;  Zhu, Chaochao
收藏  |  浏览/下载：142/0  |  提交时间：2021/04/26
Creative telescoping  Existence criterion  Reduction  Telescoper  
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
收藏  |  浏览/下载：290/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
收藏  |  浏览/下载：118/0  |  提交时间：2020/09/23
Black box  Interpolation  Kronecker substitution