CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Detection of Ranking Functions of Polynomial Loop Programs 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2019, 卷号: 30, 期号: 11, 页码: 3243-3258
作者:  Li, Yi;  Feng, Yong
收藏  |  浏览/下载：0/0  |  提交时间：2020/02/18
Open weak CAD and its applications 其他
2017-01-01
Han, Jingjun; Dai, Liyun; Hong, Hoon; Xia, Bican
收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03
Quantifier elimination by cylindrical algebraic decomposition based on regular chains 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 75, 页码: 74-93
作者:  Chen, Changbo;  Maza, Marc Moreno
收藏  |  浏览/下载：16/0  |  提交时间：2018/03/15
Multivariate Discriminant and Iterated Resultant 其他
2016-01-01
Han, Jing Jun
收藏  |  浏览/下载：4/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
Multiphase until formulas over Markov reward models: An algebraic approach 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 611, 页码: 116-135
Xu, M; Zhang, LJ; Jansen, DN; Zhu, HB; Yang, ZY
收藏  |  浏览/下载：12/0  |  提交时间：2016/12/13
Proving inequalities and solving global optimization problems via simplified CAD projection 其他
2015-01-01
Han, Jingjun; Jin, Zhi; Xia, Bican
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
Special algorithm for stability analysis of multistable biological regulatory systems 其他
2015-01-01
Hong, Hoon; Tang, Xiaoxian; Xia, Bican
收藏  |  浏览/下载：8/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
Simplification of cylindrical algebraic formulas 会议论文
Aachen, Germany, September 14, 2015 - September 18, 2015
作者:  Chen, Changbo;  Moreno Maza, Marc
收藏  |  浏览/下载：9/0  |  提交时间：2018/03/16

©版权所有 ©2017 CSpace - Powered by CSpace