搜索结果: 1-1 共查到“信息科学与系统科学 polynomial verification”相关记录1条 . 查询时间(0.031 秒)
Degree bounds for polynomial verification of the matrix cube
matrix cube polynomial verification
2015/6/19
In this paper we consider the problem of how to computationally test whether a matrix inequality is positive semidefinite on a semialgebraic set. We propose a family of sufficient conditions using the...