theorem造句

1、A instegrable theorem of non-homogeneous Bernoulli equation
非齐次Bernoulli方程的一个可积定理

2、The Study of Hardware Verification in Theorem Prover HOL
基于定理证明器HOL的硬件验证研究

3、A member of the Herbrand base is called atom in automatic theorem proving.
在自动定理证明中,海尔勃朗基的成员也称为原子。

4、Weak duality theorem is established under generalized convexity conditions.
在广义凸性条件下，建立了弱对偶性定理。

5、And the Buckingham,in theorem is used to check these results.
用Buckingham的Ⅱ定理进行验证，可知得出的相似准则中所含无量纲乘积（Ⅱ）个数少，物理意义明确，数据换算清楚。

6、we can prove trivially that this theorem is false.
我们可以轻易地证明这一命题是错的。

7、The uniqueness theorem in the linear isotropic nonuniform medium is proved.
证明了非均匀各向同性线性介质中的唯一性定理。

8、A proof of the periodicity theorem of complex Clifford algebra
复Clifford代数周期性定理的一个证明

9、But, you can't use Green's theorem directly if the curve is not closed.
但是，如果曲线不是封闭的，不能直接使用格林公式。

10、In this sense, Coase theorem is a variation of normal price theory.
从这种意义上说，科斯定理乃是标准价格理论的一个特例。

11、Liouville Theorem on Riemannian Manifolds
黎曼流形上的刘维尔定理

12、Theorem About A’da’m’s Conjecture
有关A’da’m猜想的定理

13、Direct Approximation Theorem of Jackson Type on SL(2, R)
SL(2,R)上的Jackson型正定理

14、reciprocal theorem of work
功的互等定理

15、A GENERALIZATION OF MEAN VALUE THEOREM IN N-DIMENSIONAL EUCLIDEAN SPACE
微分中值定理在n维欧氏空间中的推广

16、THE ERGODIC THEOREM OF THE CRITICAL SUPER-BROWNIAN MOTION
临界超布朗运动的遍历定理

17、A THEOREM OF THE SIMILARITY PROBLEM FOR C-ABELIAN ALGEBRAS
一个交换C-代数表示相似定理

18、We can apply Stewart's theorem directly to the median of a triangle.
我们可以把斯图尔特定理直接应用于三角形的中线上。

19、A Ho￣ rmander Multiplier Theorem on Besov Spaces
Besov空间上的Hormander乘子定理

20、A new proof of the structure theorem of finite Abelian groups
有限Abel群的结构定理的一个新证明

21、Differential medial value theorem is the basic theorem of the calculus.
微分中值定理是微分学的基本定理。

22、Theorem 20 is the basis of a rather detailed study of the structure of extremal graphs.
定理20是极图构造更详细的研究的基础。

23、The present paper presents a commutativity theorem of rings with identity
摘要给出有单位元的环的一个交换性定理。

24、In this paper we obtain several theorem of the definite integral of triangle composite function.
本文给出了计算三角复合函数的定积分的若干方法。

25、A THEOREM IN POINT SET TOPOLOGY
关于点集拓扑学中的一个定理

26、One Theorem on Edge Reconstruction of Graph
关于图的一个边重构性定理

27、A New Proof of Hardamard - Levy Theorem with Basin of Attraction
利用吸引盆证明Hardamard-Levy定理

28、Using the principal curvature formula, we prove an existence theorem of Weingarten hypersurface.
并利用主曲率计算公式证明了W-超曲面的一个存在性定理。

29、A Distortion Theorem of Biholomorphic Convex Mappings iu a Banach Space
复Banach空间中单位球上双全纯凸映射的偏差定理

30、DISC MULTIPLIER AND LITTLEWOOD-PALEY THEOREM ON WEIGHTED NORM SPACES
加权空间的圆盘乘子和Littlewood-Paley定理

theorem翻译