中文版 | English

在结果中检索

CSpace

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Apparent singularities of D-finite systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2019, 卷号: 95, 页码: 217-237
作者:  Chen, Shaoshi;  Kauers, Manuel;  Li, Ziming;  Zhang, Yi
收藏  |  浏览/下载：171/0  |  提交时间：2020/01/10
D-finite system  Grobner basis  Ordinary point  Formal power series  Apparent singularity  Desingularization  
Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2019, 卷号: 93, 页码: 133-147
作者:  Chen, Shaoshi;  Koutschan, Christoph
收藏  |  浏览/下载：209/0  |  提交时间：2019/03/11
Wilf-Zeilberger conjecture  Hypergeometric term  Properness  Holonomic function  D-finite function  Ore-Sato theorem  
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
收藏  |  浏览/下载：144/0  |  提交时间：2018/07/30
D-finite function  Integral basis  Trager's reduction  Telescoper  
Power series with coefficients from a finite set 期刊论文
JOURNAL OF COMBINATORIAL THEORY SERIES A, 2017, 卷号: 151, 页码: 241-253
作者:  Bell, Jason P.;  Chen, Shaoshi
收藏  |  浏览/下载：110/0  |  提交时间：2018/07/30
Power series  Szego's theorem  D-finiteness  Integer points  
Some Open Problems Related to Creative Telescoping 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2017, 卷号: 30, 期号: 1, 页码: 154-172
作者:  Shaoshi, Chen;  Manuel, Kauers
收藏  |  浏览/下载：118/0  |  提交时间：2018/07/30
Computer algebra  creative telescoping  differential algebra  linear operators  ore algebras  symbolic integration  symbolic summation.  
Desingularization of Ore operators 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 74, 页码: 617-626
作者:  Chen, Shaoshi;  Kauers, Manuel;  Singer, Michael F.
收藏  |  浏览/下载：137/0  |  提交时间：2018/07/30
D-finite functions  Apparent singularities  Computer algebra  Ore operators  
多变元q超几何项的乘法分解 期刊论文
系统科学与数学, 2012, 卷号: 32, 期号: 8, 页码: 1019
作者:  陈绍示;  冯如勇;  付国锋;  康劲
收藏  |  浏览/下载：117/0  |  提交时间：2020/01/10