位置：成果数据库 > 会议 > 会议详情页
Verfied error bounds for real solutions of positive-dimensional polynomial systems
  • 所属机构名称：中国科学院数学与系统科学研究院
  • 会议名称：International Symposium on Symbolic and Algebraic Computation
  • 时间：2013.6.6
  • 成果类型：会议
  • 相关项目：代数系统的准确、可信计算
作者： Zhengfeng Yang, Lihong Zhi,Yijun Zhu|
同会议论文项目
代数系统的准确、可信计算
期刊论文 15 会议论文 8
同项目会议论文
Computing rational solutions of linear matrix inequalities
Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Se
Global optimization of polynomials using generalized critical values and sums of squares
Blind image deconvolution via fast approximate GCD
The minimum-rank gram matrix completion via modified fixed point continuation method
Computing Real Solutions of Polynomial Systems via Low-Rank Moment Matrix Completion
Certificates of Impossibility of Hilbert-Artin Representations of a Given Degree for Definite Polyno