A prover for parallel numerical verification of a class of constructive geometry theorems.

一类构造性几何定理的数值并行法证明器。

youdao

Secondly, a technique of numerical order verification was applied to verify that the asymptotic solutions were uniformly valid for small parameter.

其次，一种数值阶验证技术证实求得的二阶渐近解对小参数都是一致有效的。

youdao

Finite element method is used to carry on numerical simulation of fluid-structure interaction for the system of TLD, and a verification of the reliability of fluid-structure coupled mode is made.

尝试用有限元分析的方法模拟TLD中流体与结构的耦合作用，并验证了由此方法建立起来的流固耦合模型的可靠性；

youdao