CSpace

浏览/检索结果: 共4条,第1-4条 帮助

限定条件                    
已选(0)清除 条数/页:   排序方式:
Early ending in homotopy path-tracking for real roots 会议论文
13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, Suzhou, China, September 16, 2018 - September 19, 2018
作者:  Wang, Yu;  Wu, Wenyuan;  Xia, Bican
Adobe PDF(383Kb)  |  收藏  |  浏览/下载:110/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
A recursive decision method for termination of linear programs 会议论文
2014 Symposium on Symbolic-Numeric Computation, SNC 2014, Shanghai, China, July 28, 2014 - July 31, 2014
作者:  Li, Yi
Adobe PDF(409Kb)  |  收藏  |  浏览/下载:54/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