位置：成果数据库 > 会议 > 会议详情页
Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficient
  • 所属机构名称：华东师范大学
  • 会议名称：Symbolic-Numerical Computation
  • 成果类型：会议
  • 相关项目：基于符号-数值混合计算的多项式优化问题的准确验证
作者： Min Wu|Zhengfeng Yang|
同会议论文项目
基于符号-数值混合计算的多项式优化问题的准确验证
期刊论文 8 会议论文 4
同项目会议论文
Blind image deconvolution via fast approximate GCD
Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation
Proving total correctness of loop programs via symbolic-numeric computation method