已选(0)清除
条数/页: 排序方式:
|
| Open weak CAD and its applications 其他 2017-01-01 Han, Jingjun; Dai, Liyun; Hong, Hoon; Xia, Bican
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/0  |  提交时间:2017/12/03
|
| Multivariate Discriminant and Iterated Resultant 其他 2016-01-01 Han, Jing Jun
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/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
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载: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
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:7/0  |  提交时间:2017/12/03
|
| Special algorithm for stability analysis of multistable biological regulatory systems 其他 2015-01-01 Hong, Hoon; Tang, Xiaoxian; Xia, Bican
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载: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
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:7/0  |  提交时间:2017/12/03
|
| Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems 其他 2007-01-01 Guan Qiang; Wang Long; Xia BiCan; Yang Lu; Yu WenSheng; Zeng ZhenBing
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:4/0  |  提交时间:2015/11/12
|
| Quantifier elimination for quartics 其他 2006-01-01 Yang, Lu; Xia, Bican
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:4/0  |  提交时间:2015/11/16
|