mathematical theorem
數學定理
proven theorem
已證定理
theorem statement
定理陳述
fixed point theorem
不動點定理
existence theorem
[計]存在性定理
mean value theorem
中值定理，平均值定律
comparison theorem
比較定理
sampling theorem
抽樣定理
central limit theorem
中心極限定理
remainder theorem
餘式定理
coase theorem
[經]科斯定理
chinese remainder theorem
孫子剩餘定理
uniqueness theorem
唯一性定理；單值定理
pythagorean theorem
勾股定理；畢氏定理
reciprocity theorem
[物]互易定理；[電磁]倒易理論
theorem proving
定理證明
gauss theorem
高斯定理
duality theorem
對偶定理
approximation theorem
逼近定理
separation theorem
分離定理，分離定律
binomial theorem
[數]二項式定理
intermediate value theorem
介值定理
I agree with the theorem that the best defence is offence.
我同意最好的防禦是進攻的理論。
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
進一步的，從這個事實得出這個蒐集不是集合而是真類；
His theorem can be translated into simple terms.
他的定理可用更簡單的術語來解釋。
In this paper , a rigidity theorem of hypersurface in real space form will begiven.In addition, we obtain rigidity theorems of submanifold in sphere which improvethe result of Hou and Xu.
本文給出實空間形式中超曲面的一個剛性定理，同時也得到求面中子流形的剛性結果.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
介紹了二分序列的概念和定理證明，給出了利用二分歸併進行排序的算法及實例.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
文章提出具有中性域X(X≠{x})X的上的雙枝模糊決策的概念和決策優化分析模型、決策判定定理、決策識別定理、決策去餘定理和決策因素域X上的挖洞原理。
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
摘要本論文提出具有絕對可加性自相關數列的離散時間穩定高斯訊號的編碼定理。
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
採用上下解方法，給出了一個積分微分系統概週期解存在的一般性定理。
The nonoscillatory properties of the second order half-linear delay difference equations are studied. The comparison theorem and sufficient condition for the nonoscillation are obtained.
研究了二階半線性時滯差分方程的非振動解的性質,建立了非振動解的比較定理和充分條件.
new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
建立了一類新的極大極小不等式，並利用它們討論了仿緊集上的擬變分不等式。
Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.
基於初等數論中的一些基本定理,本程序利用概率算法,快速判定一個大數是否爲素數。
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
該方法通過建立索引和使用葉序區間判斷SF-Condition(半柔性條件)是否滿足實現本體上的半柔性查詢求解。
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
本文給出了非線性彈性動力學兩時端邊值問題的某些一般定理及變分原理。
This paper generalizes some properties of coalgebra to π-coalgebra which is defined by Alexis Virelizier. The main result in the paper generalizes fundamental isomorphism theorem to π-coalgebra.
引用π-餘代數的概念,把一些餘代數的性質推廣到π-餘代數中,最主要的是把基本同構定理推廣到π-餘代數中
By proving properties of demicontinuous function and series with function terms, use methods of finite coveting theorem and its application in proving problems are introduced.
通過半連續函數及函數項級數等有關性質的證明,介紹了有限覆蓋定理的使用方法,說明了它在證明問題中的作用。
This paper presents and proves a discriminant theorem which is suited to examine the determinability of the discrete linear system,which shows that an outstanding issue of this field has been solved.
本文得到離散線性系統能決定性的一個判別定理，該定理解決了文獻中尚未解決的相關問題.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
英文摘要： The first and second variation formulas of the energy functional for a nondegenerate map between Finsler manifolds is derived.
In the practical applications of highly nonnormal matrices, these theorems may be more useful than their generalized eigenvalue special cases and may provide more descriptive information.
在對高度非正規矩陣的研究應用中，這些定理將比它們的特例-廣義特徵值定理更可靠，能提供更多的信息。
mathematical theorem
數學定理
proven theorem
已證定理
theorem statement
定理陳述
fixed point theorem
不動點定理
existence theorem
[計]存在性定理
mean value theorem
中值定理，平均值定律
comparison theorem
比較定理
sampling theorem
抽樣定理
central limit theorem
中心極限定理
remainder theorem
餘式定理
coase theorem
[經]科斯定理
chinese remainder theorem
孫子剩餘定理
uniqueness theorem
唯一性定理；單值定理
pythagorean theorem
勾股定理；畢氏定理
reciprocity theorem
[物]互易定理；[電磁]倒易理論
theorem proving
定理證明
gauss theorem
高斯定理
duality theorem
對偶定理
approximation theorem
逼近定理
separation theorem
分離定理，分離定律
binomial theorem
[數]二項式定理
intermediate value theorem
介值定理
I agree with the theorem that the best defence is offence.
我同意最好的防禦是進攻的理論。
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
進一步的，從這個事實得出這個蒐集不是集合而是真類；
His theorem can be translated into simple terms.
他的定理可用更簡單的術語來解釋。
In this paper , a rigidity theorem of hypersurface in real space form will begiven.In addition, we obtain rigidity theorems of submanifold in sphere which improvethe result of Hou and Xu.
本文給出實空間形式中超曲面的一個剛性定理，同時也得到求面中子流形的剛性結果.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
介紹了二分序列的概念和定理證明，給出了利用二分歸併進行排序的算法及實例.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
文章提出具有中性域X(X≠{x})X的上的雙枝模糊決策的概念和決策優化分析模型、決策判定定理、決策識別定理、決策去餘定理和決策因素域X上的挖洞原理。
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
摘要本論文提出具有絕對可加性自相關數列的離散時間穩定高斯訊號的編碼定理。
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
採用上下解方法，給出了一個積分微分系統概週期解存在的一般性定理。
The nonoscillatory properties of the second order half-linear delay difference equations are studied. The comparison theorem and sufficient condition for the nonoscillation are obtained.
研究了二階半線性時滯差分方程的非振動解的性質,建立了非振動解的比較定理和充分條件.
new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
建立了一類新的極大極小不等式，並利用它們討論了仿緊集上的擬變分不等式。
Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.
基於初等數論中的一些基本定理,本程序利用概率算法,快速判定一個大數是否爲素數。
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
該方法通過建立索引和使用葉序區間判斷SF-Condition(半柔性條件)是否滿足實現本體上的半柔性查詢求解。
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
本文給出了非線性彈性動力學兩時端邊值問題的某些一般定理及變分原理。
This paper generalizes some properties of coalgebra to π-coalgebra which is defined by Alexis Virelizier. The main result in the paper generalizes fundamental isomorphism theorem to π-coalgebra.
引用π-餘代數的概念,把一些餘代數的性質推廣到π-餘代數中,最主要的是把基本同構定理推廣到π-餘代數中
By proving properties of demicontinuous function and series with function terms, use methods of finite coveting theorem and its application in proving problems are introduced.
通過半連續函數及函數項級數等有關性質的證明,介紹了有限覆蓋定理的使用方法,說明了它在證明問題中的作用。
This paper presents and proves a discriminant theorem which is suited to examine the determinability of the discrete linear system,which shows that an outstanding issue of this field has been solved.
本文得到離散線性系統能決定性的一個判別定理，該定理解決了文獻中尚未解決的相關問題.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
英文摘要： The first and second variation formulas of the energy functional for a nondegenerate map between Finsler manifolds is derived.
In the practical applications of highly nonnormal matrices, these theorems may be more useful than their generalized eigenvalue special cases and may provide more descriptive information.
在對高度非正規矩陣的研究應用中，這些定理將比它們的特例-廣義特徵值定理更可靠，能提供更多的信息。
探索常見搜尋詞彙