已选(0)清除
条数/页: 排序方式:
|
| Geometric quantifier elimination heuristics for automatically generating octagonal and max-plus invariants 其他 2013-01-01 Kapur, Deepak; Zhang, Zhihai; Horbach, Matthias; Zhao, Hengjun; Lu, Qi; Nguyen, ThanhVu 收藏  |  浏览/下载:3/0  |  提交时间:2015/11/13 |
| On invariant checking 其他 2013-01-01 Zhang Zhihai; Kapur, Deepak 收藏  |  浏览/下载:3/0  |  提交时间:2015/11/10
|
| Real solution isolation with multiplicity of zero-dimensional triangular systems 其他 2011-01-01 Zhang ZhiHai; Fang Tian; Xia BiCan 收藏  |  浏览/下载:1/0  |  提交时间:2015/11/10
|
| Symbolic decision procedure for termination of linear programs 其他 2011-01-01 Xia, Bican; Yang, Lu; Zhan, Naijun; Zhang, Zhihai 收藏  |  浏览/下载:4/0  |  提交时间:2015/11/10
|
| Termination of linear programs with nonlinear constraints 其他 2010-01-01 Xia, Bican; Zhang, Zhihai 收藏  |  浏览/下载:2/0  |  提交时间:2015/11/10
|