位置：成果数据库 > 会议 > 会议详情页
Certificates of Impossibility of Hilbert-Artin Representations of a Given Degree for Definite Polyno
  • 所属机构名称：中国科学院数学与系统科学研究院
  • 会议名称：ISSAC'12 Proc. 2012International Symposium on Symbolic and Algebraic Computation,
  • 时间：2012.7.7
  • 成果类型：会议
  • 相关项目：代数系统的准确、可信计算
作者： Guo,Feng|Kaltofen, Erich|Zhi, Lihong|
同会议论文项目
代数系统的准确、可信计算
期刊论文 15 会议论文 8
同项目会议论文
Computing rational solutions of linear matrix inequalities
Verfied error bounds for real solutions of positive-dimensional polynomial systems
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