中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
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  
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
收藏  |  浏览/下载：120/0  |  提交时间：2020/09/23
Black box  Interpolation  Kronecker substitution  
Decomposition of ordinary difference polynomials 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 10, 页码: 1394-1409
作者:  Zhang, Mingbo;  Gao, Xiao-Shan
收藏  |  浏览/下载：62/0  |  提交时间：2018/07/30
Functional decomposition  Difference polynomial  Difference operator  Difference degree  
Rational solutions of ordinary difference equations 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2008, 卷号: 43, 期号: 10, 页码: 746-763
作者:  Feng, Ruyong;  Gao, Xiao-Shan;  Huang, Zhenyu
收藏  |  浏览/下载：100/0  |  提交时间：2018/07/30
rational solution  polynomial solution  ordinary difference equation  Puiseux series  Laurent series  
A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2006, 卷号: 41, 期号: 7, 页码: 739-762
作者:  Feng, Ruyong;  Gao, Xiao-Shan
收藏  |  浏览/下载：109/0  |  提交时间：2018/07/30
rational general solution  first order autonomous ODE  rational parametrizations  Laurent series  Pade approximants  polynomial time algorithm  
The Cartan matrix and enumerative calculus 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2004, 卷号: 38, 期号: 3, 页码: 1119-1144
作者:  Duan, HB;  Zhao, XA;  Zhao, XZ
收藏  |  浏览/下载：98/0  |  提交时间：2018/07/30
Cartan matrix  flag manifolds  Schubert calculus  
Spline approximations of real algebraic surfaces 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 1997, 卷号: 23, 期号: 2-3, 页码: 315-333
作者:  Bajaj, CL;  Xu, GL
收藏  |  浏览/下载：54/0  |  提交时间：2018/07/30