中文版 | English

在结果中检索

CSpace

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

限定条件                    
已选(0)清除 条数/页：   排序方式：
THE PSLQ ALGORITHM FOR EMPIRICAL DATA 期刊论文
MATHEMATICS OF COMPUTATION, 2019, 卷号: 88, 期号: 317, 页码: 1479-1501
作者:  Feng, Yong;  Chen, Jingwei;  Wu, Wenyuan
Adobe PDF(321Kb)  |  收藏  |  浏览/下载：250/0  |  提交时间：2019/03/01
Integer relation  PSLQ  empirical data  
Revealing bistability in neurological disorder models by solving parametric polynomial systems geometrically 会议论文
13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, Suzhou, China, September 16, 2018 - September 19, 2018
作者:  Chen, Changbo;  Wu, Wenyuan
Adobe PDF(535Kb)  |  收藏  |  浏览/下载：111/0  |  提交时间：2019/06/25
A numerical method for analyzing the stability of Bi-parametric biological systems 会议论文
18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24, 2016 - September 27, 2016
作者:  Chen, Changbo;  Wu, Wenyuan
Adobe PDF(387Kb)  |  收藏  |  浏览/下载：83/0  |  提交时间：2018/03/16
Solving parametric polynomial systems by RealComprehensiveTriangularize 会议论文
4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014
作者:  Chen, Changbo;  Maza, Marc Moreno
Adobe PDF(972Kb)  |  收藏  |  浏览/下载：50/0  |  提交时间：2018/03/16
Real quantifier elimination in the RegularChains library 会议论文
4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014
作者:  Chen, Changbo;  Moreno Maza, Marc
Adobe PDF(1816Kb)  |  收藏  |  浏览/下载：38/0  |  提交时间：2018/03/16
Exact bivariate polynomial factorization over by approximation of roots 期刊论文
Journal of Systems Science and Complexity, 2014, 卷号: 28, 期号: 1, 页码: 243-260
作者:  Feng, Yong;  Wu, Wenyuan;  Zhang, Jingzhong;  Chen, Jingwei
Adobe PDF(275Kb)  |  收藏  |  浏览/下载：87/0  |  提交时间：2018/03/16