已选(0)清除
条数/页: 排序方式:
|
| Open weak CAD and its applications 其他 2017-01-01 Han, Jingjun; Dai, Liyun; Hong, Hoon; Xia, Bican 收藏  |  浏览/下载:8/0  |  提交时间:2017/12/03
|
| Computing Reachable Sets of Linear Vector Fields Revisited 其他 2016-01-01 Gan, Ting; Chen, Mingshuai; Li, Yangjia; Xia, Bican; Zhan, Naijun 收藏  |  浏览/下载:3/0  |  提交时间:2017/12/03
|
| Proving inequalities and solving global optimization problems via simplified CAD projection 其他 2015-01-01 Han, Jingjun; Jin, Zhi; Xia, Bican 收藏  |  浏览/下载:7/0  |  提交时间:2017/12/03
|
| Special algorithm for stability analysis of multistable biological regulatory systems 其他 2015-01-01 Hong, Hoon; Tang, Xiaoxian; Xia, Bican 收藏  |  浏览/下载:9/0  |  提交时间:2017/12/03
|
| Decidability of the Reachability for a Family of Linear Vector Fields 其他 2015-01-01 Gan, Ting; Chen, Mingshuai; Dai, Liyun; Xia, Bican; Zhan, Naijun 收藏  |  浏览/下载:7/0  |  提交时间:2017/12/03
|
| Discovering polynomial Lyapunov functions for continuous dynamical systems 其他 2013-01-01 She, Zhikun; Li, Haoyang; Xue, Bai; Zheng, Zhiming; Xia, Bican 收藏  |  浏览/下载:7/0  |  提交时间:2015/11/11
|
| Termination of linear programs with nonlinear constraints 其他 2010-01-01 Xia, Bican; Zhang, Zhihai 收藏  |  浏览/下载:2/0  |  提交时间:2015/11/10
|
| Recent advances in program verification through computer algebra 其他 2010-01-01 Yang, Lu; Zhou, Chaochen; Zhan, Naijun; Xia, Bican 收藏  |  浏览/下载:2/0  |  提交时间:2015/11/16
|
| Program Verification by Reduction to Semi-algebraic Systems Solving 其他 2008-01-01 Xia, Bican; Yang, Lu; Zhan, Naijun 收藏  |  浏览/下载:2/0  |  提交时间:2015/11/16
|