... theorem proving system 定理证明系统 theorem proving method 定理证明法 resolution theorem proving 归结定理证明消解式定理证明 ...
基于12个网页-相关网页
在一定的条件下，用黏性逼近法证明了序列逼近于这一公共元的强收敛定理。
It is shown that under suitable conditions by the viscosity approximation algorithms, some strong convergence theorems for approximating to this common elements are proved.
一类构造性几何定理的数值并行法证明器。
A prover for parallel numerical verification of a class of constructive geometry theorems.
经典圆定理只证明了奇点位于圆外的情况，本文用正则摄动法证明了源和汇位于圆上时，圆定理也是适用的。
This study illustrated that the theorem could be also applied in a case where the sources and sinks are on the circle by means of the regular perturbation method.
应用推荐