中文版 | English

在结果中检索

CSpace
（本次检索基于用户作品认领结果）

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

限定条件            
已选(0)清除 条数/页：   排序方式：
41th International Symposium on Symbolic and Algebraic Computation (ISSAC'16) Preface 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2018, 卷号: 85, 页码: 1-3
作者:  Gao, Xiao-Shan
收藏  |  浏览/下载：148/0  |  提交时间：2018/07/30
Decomposition of ordinary difference polynomials 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 10, 页码: 1394-1409
作者:  Zhang, Mingbo;  Gao, Xiao-Shan
收藏  |  浏览/下载：64/0  |  提交时间：2018/07/30
Functional decomposition  Difference polynomial  Difference operator  Difference degree  
A characteristic set method for ordinary difference polynomial systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 3, 页码: 242-260
作者:  Gao, Xiao-Shan;  Luo, Yong;  Yuan, Chunming
收藏  |  浏览/下载：102/0  |  提交时间：2018/07/30
Difference polynomial  Ascending chain  Characteristic set  Coherence  Irreducibility  Zero decomposition theorem  Automated theorem proving  
Rational solutions of ordinary difference equations 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2008, 卷号: 43, 期号: 10, 页码: 746-763
作者:  Feng, Ruyong;  Gao, Xiao-Shan;  Huang, Zhenyu
收藏  |  浏览/下载：105/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
收藏  |  浏览/下载：114/0  |  提交时间：2018/07/30
rational general solution  first order autonomous ODE  rational parametrizations  Laurent series  Pade approximants  polynomial time algorithm  
Generating symbolic interpolants for scattered data with normal vectors 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 6, 页码: 861-874
作者:  Li, M;  Gao, XS;  Cheng, JS
收藏  |  浏览/下载：117/0  |  提交时间：2018/07/30
solid modelling  Hermite interpolation surface  Bezier curve  sweeping curve  
Symbolic computation in algebra and geometry - Editorial 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2004, 卷号: 38, 期号: 4, 页码: 1167-1168
作者:  Cohen, AM;  Gao, XS;  Takayama, N
收藏  |  浏览/下载：61/0  |  提交时间：2018/07/30
Exact travelling wave solutions for a class of nonlinear partial differential equations 期刊论文
CHAOS SOLITONS & FRACTALS, 2004, 卷号: 19, 期号: 5, 页码: 1113-1117
作者:  Xie, FD;  Gao, XS
收藏  |  浏览/下载：83/0  |  提交时间：2018/07/30
A Computational Approach to the New Type Solutions of Whitham-Broer-Kaup Equation in Shallow Water 期刊论文
Communications in Theoretical Physics, 2004, 卷号: 41, 期号: 2, 页码: 179
作者:  Xie Fuding;  Gao Xiaoshan
收藏  |  浏览/下载：96/0  |  提交时间：2018/07/30
conservationlawsofkmnandmkmnequations 期刊论文
communicationsintheoreticalphysics, 2004, 卷号: 42, 期号: 5, 页码: 661
作者:  Xie Fuding;  Gao Xiaoshan;  Liu Feng
收藏  |  浏览/下载：86/0  |  提交时间：2020/01/10