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的Ⅱ定理進行驗證，可知得出的相似準(zhǔn)則中所含無量綱乘積（Ⅱ）個數(shù)少，物理意義明確，數(shù)據(jù)換算清楚。

6、we can prove trivially that this theorem is false.
我們可以輕易地證明這一命題是錯的。

7、The uniqueness theorem in the linear isotropic nonuniform medium is proved.
證明了非均勻各向同性線性介質(zhì)中的唯一性定理。

8、A proof of the periodicity theorem of complex Clifford algebra
復(fù)Clifford代數(shù)周期性定理的一個證明

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.
從這種意義上說，科斯定理乃是標(biāo)準(zhǔn)價格理論的一個特例。

11、Liouville Theorem on Riemannian Manifolds
黎曼流形上的劉維爾定理

12、Theorem About A’da’m’s Conjecture
有關(guān)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-代數(shù)表示相似定理

18、We can apply Stewart's theorem directly to the median of a triangle.
我們可以把斯圖爾特定理直接應(yīng)用于三角形的中線上。

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

20、A new proof of the structure theorem of finite Abelian groups
有限Abel群的結(jié)構(gòu)定理的一個新證明

21、Differential medial value theorem is the basic theorem of the calculus.
微分中值定理是微分學(xué)的基本定理。

22、Theorem 20 is the basis of a rather detailed study of the structure of extremal graphs.
定理20是極圖構(gòu)造更詳細的研究的基礎(chǔ)。

23、The present paper presents a commutativity theorem of rings with identity
摘要給出有單位元的環(huán)的一個交換性定理。

24、In this paper we obtain several theorem of the definite integral of triangle composite function.
本文給出了計算三角復(fù)合函數(shù)的定積分的若干方法。

25、A THEOREM IN POINT SET TOPOLOGY
關(guān)于點集拓?fù)鋵W(xué)中的一個定理

26、One Theorem on Edge Reconstruction of Graph
關(guān)于圖的一個邊重構(gòu)性定理

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
復(fù)Banach空間中單位球上雙全純凸映射的偏差定理

30、DISC MULTIPLIER AND LITTLEWOOD-PALEY THEOREM ON WEIGHTED NORM SPACES
加權(quán)空間的圓盤乘子和Littlewood-Paley定理

theorem翻譯