Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。
2
The extension problems of Kharitonov's Theorem are developed under the cases of complex perturbations with the extremum idea and the numerical computer technology.
利用极值思想与数值计算技术研究了复杂摄动情况下哈氏定理的推广问题。
3
Utilizing the extension of the polygon exterior angle sum theorem, directions of curvilinear polygons were judged and redundant polygons were deleted.