|
已选(0)清除
条数/页： 排序方式：
|
| A Survey on Algorithms for Computing Comprehensive Grobner Systems and Comprehensive Grobner Bases 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 234-255
作者: Lu Dong; Sun Yao; Wang Dingkang
  收藏 | 浏览/下载：14/0 | 提交时间：2019/04/02
|
| asurveyonalgorithmsforcomputingcomprehensivegrobnersystemsandcomprehensivegrobnerbases 期刊论文
journalofsystemsscienceandcomplexity, 2019, 卷号: 32, 期号: 1, 页码: 234
作者: Lu Dong; Sun Yao; Wang Dingkang
收藏 | 浏览/下载：11/0 | 提交时间：2020/01/10 |
| 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
|
| Safety Verification of Semi-Algebraic Dynamical Systems via Inductive Invariant 期刊论文
2016, 2016
Hui Kong; Fei He; Xiaoyu Song; Ming Gu; Hongyan Tan; Jiaguang Sun; Hui Kong; Fei He; Xiaoyu Song; Ming Gu; Hongyan Tan; Jiaguang Sun
收藏 | 浏览/下载：4/0 |
| 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
|
| A hybrid modeling and optimization approach for scheduling problems of assembly automation processes 期刊论文
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART I-JOURNAL OF SYSTEMS AND CONTROL ENGINEERING, 2016, 卷号: 230, 页码: 778-785
作者: Pang, Yan; Xia, Hao
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/09
|
| 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
|
