×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [11]
软件研究所 [4]
大连理工大学 [1]
四川大学 [1]
重庆绿色智能技术研究... [1]
内容类型
其他 [11]
会议论文 [4]
期刊论文 [3]
发表日期
2015 [1]
2014 [1]
2011 [3]
2010 [2]
2009 [2]
2008 [3]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共18条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
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
CAD projection
Global optimization
Semi-definiteness
Polynomials
CYLINDRICAL ALGEBRAIC DECOMPOSITION
POLYNOMIAL INEQUALITIES
QUANTIFIER ELIMINATION
EXISTENTIAL THEORY
SETS
COEFFICIENTS
COMPLEXITY
SYSTEMS
THEOREM
SQUARES
Solving parametric polynomial systems by RealComprehensiveTriangularize
会议论文
Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014
作者:
Chen, Changbo
;
Maza, Marc Moreno
收藏
  |  
浏览/下载:73/0
  |  
提交时间:2018/03/16
computing semi-algebraic invariants for polynomial dynamical systems
会议论文
Embedded Systems Week 2011, ESWEEK 2011 - 9th ACM International Conference on Embedded Software, EMSOFT'11, Taipei, Taiwan, October 9,
Liu Jiang
;
Zhan Naijun
;
Zhao Hengjun
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2013/10/08
Embedded software
Embedded systems
Polynomials
Non-termination Analysis of Polynomial Programs by Solving Semi-Algebraic Systems
期刊论文
ADVANCES IN MULTIMEDIA, SOFTWARE ENGINEERING AND COMPUTING, VOL 1, 2011, 卷号: Vol.128, 页码: 205-211
作者:
Zhao, Xiaoyan
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/02/28
semi-algebraic system
polynomial program
non-termination
Solving parametric piecewise polynomial systems
期刊论文
7th International Conference on Scientific Computing and Applications, 2011, 卷号: 236, 页码: 924-936
作者:
Lai, Yisheng
;
Wang, Renhong
;
Wu, Jinming
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/18
Piecewise polynomial
Parametric piecewise polynomial system
Parametric semi-algebraic systems
Discriminant variety
Number of real zeros
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
computer algebra
semi-algebraic systems solving
embedded systems
invariants
ranking functions
termination
QUANTIFIER ELIMINATION
SYSTEMS
LOOPS
recent advances in program verification through computer algebra
期刊论文
Frontiers of Computer Science in China, 2010, 卷号: 4, 期号: 1, 页码: 40559
Yang Lu
;
Zhou Chaochen
;
Zhan Naijun
;
Xia Bican
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/05/23
Algebra
Nonlinear systems
Structured programming
Program Verification by Reduction to Semi-algebraic Systems Solving
其他
2009-01-01
Xia, Bican
;
Yang, Lu
;
Zhan, Naijun
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2015/11/13
A semi-algebraic approach for asymptotic stability analysis
其他
2009-01-01
She, Zhikun
;
Xia, Bican
;
Xiao, Rong
;
Zheng, Zhiming
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2015/11/12
Autonomous systems
Asymptotic stability
Lyapunov functions
Quadratic form
Semi-algebraic systems
Program Verification by Reduction to Semi-algebraic Systems Solving
其他
2008-01-01
Xia, Bican
;
Yang, Lu
;
Zhan, Naijun
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2015/11/13
©版权所有 ©2017 CSpace - Powered by
CSpace