英语语法分析

In recent years, the use of LMI to check stability for polytope matrices has become a useful tool.

近几年来，用线性矩阵不等式(LMI)检验矩阵多胞形稳定性已成为一个十分有用的工具。

The interval polynomials, the polytope of polynomials and the inter-val matrices are introduced in this paper.

本文对区间多项式、多项式多面体、区间矩阵作了介绍；

We also show that when the maximal area of such a polytope is attained, the vertices of it are just co-circular.

我们证明，当边长已知的多边形的面积达到最大时，该多边形的顶点一定共圆。