Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。
The extension problems of Kharitonov's Theorem are developed under the cases of complex perturbations with the extremum idea and the numerical computer technology.
利用极值思想与数值计算技术研究了复杂摄动情况下哈氏定理的推广问题。
Utilizing the extension of the polygon exterior angle sum theorem, directions of curvilinear polygons were judged and redundant polygons were deleted.
利用多边形外角定理的推广，判断偏置后曲线多边形的旋向，删除多余多边形。
Moreover, we also get a fixed point theorem of uniform partial extension mapping and a fixed point theorem of quasi-extension mapping.
另外，我们还得一个一致局部扩张映射不动点定理与一个准扩张映射不动点定理。
The marginal rate of substitution of goods and the existence theorem of the optimal solution is to introduce some of the previous extension of the theory.
商品的边际替代率和最优解存在定理的介绍则是对前面理论部分的延伸。
This paper discusses a principal problem in grey mathematical theory, that is grey set and its operation, and proves the decomposition theorem, representation theorem and extension principle.
讨论灰色数学理论的一个基本问题，即灰色集合以及它的有关运算，灰集的分解定理、表现定理和扩张原理。
Based on the boundary variational theorem, the energy release quantity and energy release rate (dynamical crack extension force) along the crack boundary are obtained.
由此求得动态裂纹扩展时，沿裂纹边界的能量释放量和能量释放率(动态裂纹扩展力)。
Theorem 1 is proved to have the property that the multivariate splines are characterized by a certain "analytic extension".
定理1指出了多元样条函数具有“解析延拓”的特征性质。
Based on the fixed point theorem of two-point extension type, sufficient conditions are derived for the existence of positive periodic solutions of delay difference equations.
利用两点拉伸型不动点定理给出一阶时滞差分方程周期解存在性的充分条件。
Theorem 1 constructs a set of universal measure zero using continuous extension;
定理1 主要运用了连续延拓构造了一个泛测度零集；
Theorem 1 constructs a set of universal measure zero using continuous extension;
定理1 主要运用了连续延拓构造了一个泛测度零集；
应用推荐