助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   证明 在 数学 分类中 的翻译结果: 查询用时:0.131秒
图标索引 在分类学科中查询
所有学科
数学
诉讼法与司法制度
逻辑学
中等教育
计算机软件及计算机应用
力学
民商法
化学
物理学
更多类别查询

图标索引 历史查询
 

证明     
相关语句
  proof
    A NEW PROOF OF THE FUNDAMENTAL THEOREM OF ALGEBRA
    代数基本定理的一个新证明
短句来源
    A NEW PROOF OF CARLEMAN'S FORMULA
    哈里曼公式之新证明
短句来源
    A NEW PROOF OF HADAMARD-SZASZ'S DETERMINANTAL INEQUALITY WITH A GENERALIZATION
    阿达马Hadamard及沙氏Szasz不等式之新证明及推广
短句来源
    ON THE PAPER“A NEW PROOF OF A FORMULA OFCOx-Plemelj”
    关于“Сохоцкий—Plemelj公式的新证明“一文的补正
短句来源
    AN OTHER PROOF FOR THE I_(01) APPROXIMATION THEOREM
    I_(01)逼近定理的另一证明
短句来源
更多       
  proved
    Proved of There Are not Equivalent Transforms at Port N>3
    N>3等效电路不存在的证明
短句来源
    NON-EQUIVALENCY OF △-Y NETWORK PROVED BY COMPUTER DYNAMIC DIAGRAM
    计算机动态图解证明△—Y形网路的非等效性
短句来源
    It is proved that nonwandering operators keep their property of nonwandering on this small neighborhood by the methods of matrices and invariant set.
    利用矩阵和不变集的方法证明在非游荡算子的一充分小的领域内,非游荡算子保持它的非游荡性不变.
短句来源
    It is proved that 1) If 3 m n r,let s=16(n-m)2+(r-n)2+(r-m)2+12,if m+n+r>23s+3s2,graphs K(m,n,r)-A(|A|=2) are chromatically unique;
    证明了1)当3mnr时,令s=16(n-m)2+(r-n)2+(r-m)2+12,若m+n+r>23s+3s2,则K(m,n,r)-A(A=2)是色唯一图;
短句来源
    The seminorm family P and its every S-simplest form generate the same locally convex separated topology on X are proved.
    引入半范数族P的S-最简形式和P-自反局部凸空间(X,TP)的概念,证明了半范数族P和它的每一个S-最简形式都生成X上相同的局部凸拓扑.
短句来源
更多       
  prove
    A Method to Prove the Continuity Theorem and Bochner-Khinchin's Theorem for Characteristic Functions
    特征函数连续定理及Bochner-Khinchin定理的简单初等证明
短句来源
    A Method to Prove Rayleigh—Ritz Method in Discrete—Coordinate Systems
    关于离散系求自振频率的Rayleigh—Ritz法的证明方法
短句来源
    Applying the Method of Field Theory to Prove the Number of Independent Equation of Kirchhoff's Law
    用场论方法证明基尔霍夫定律独立方程的数目
短句来源
    Another Prove for the Spectral Properties about ARMA Processes
    ARMA过程有理谱密度特征的另一证明
短句来源
    On the Prove of a Theorem for Szász-Mirakjan Operators
    关于Szász-Mirakjan算子的一个定理的证明
短句来源
更多       
  proved that
    It is proved that nonwandering operators keep their property of nonwandering on this small neighborhood by the methods of matrices and invariant set.
    利用矩阵和不变集的方法证明在非游荡算子的一充分小的领域内,非游荡算子保持它的非游荡性不变.
短句来源
    It is proved that 1) If 3 m n r,let s=16(n-m)2+(r-n)2+(r-m)2+12,if m+n+r>23s+3s2,graphs K(m,n,r)-A(|A|=2) are chromatically unique;
    证明了1)当3mnr时,令s=16(n-m)2+(r-n)2+(r-m)2+12,若m+n+r>23s+3s2,则K(m,n,r)-A(A=2)是色唯一图;
短句来源
    In this paper,Let n∈N,x≡1(mod2),x,y ∈Z,the author has proved that Diophantine equationx2+4 n=y3 has only integer solution(x,y,n)=(±11,5,1).
    利用代数数论的方法,证明了不定方程x2+4n=y3(其中n∈N,x≡1(mod2),x,y∈Z)仅有整数解(x,y,n)=(±11,5,1)。
短句来源
    otherwise,I(G)=|V(G)|-1.It is proved that if G is a graph with δ(G)≥a+n and the isolated toughnessI(G)≥a-1+a+2nb,where 1≤a
    否则,令I(G)=|V(G)|-1.本文证明了:若G的最小度满足δ(G)≥a+n以及孤立韧度I(G)≥a-1+(a+2n)/b,其中a,b,n都是非负整数且1≤a
短句来源
    Lipschitz-α dual operators and Lipschitz-α dual spaces of non-compact metric space(D,d) were introduced. It was proved that T*L-α was a bounded linear operator on D*L-α and the properties of T*L-α were discussed.
    引入了Lipschitz-α对偶算子及距离空间(D,d)的Lipschitz-α对偶空间,证明了T*L-α为D*L-α上的有界线性算子,并讨论了Lipschitz-α对偶算子的若干性质.
短句来源
更多       

 

查询“证明”译词为其他词的双语例句

 

查询“证明”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  proof
In the case of 3-dimensional commutative algebras a new proof of a recent theorem of Katsylo and Mikhailov about the 28 bitangents to the associated plane quartic is given.
      
In the second example, we obtain a proof of the Chalyh-Veselov conjecture that the Calogero-Moser system with integer parameter is algebraically integrable, using the results of Felder and Varchenko.
      
We conjecture that this is also true for the exceptional reflection groups and then sketch a proof for the group of typeF4.
      
(HereM3 denotes the vector space of 3×3 matrices over k andp>amp;gt;3.) The method of proof involves an induction, and is potentially of wide applicability.
      
As a corollary we obtain an easy proof of a theorem of Borel and Serre: AnS-arithmetic subgroup of a semisimple group has all the finiteness propertiesFn.
      
更多          
  proved
The method applies to the standard arithmetic subgroups ofSO(n,1) (a case which was proved previously by Millson [Mi]), to the non-arithmetic lattices inSO(n,1) constructed by Gromov and Piatetski-Shapiro [GPS] and to groups generated by reflections.
      
The rationality of the corresponding moduli variety is proved.
      
A local-global principle is proved by the second named author in the adjacent paper of this volume.
      
In this paper a local-global principle forS-arithmetic groups over number fields is proved.
      
However the compatibility of the canonical base of the modified algebra and of the geometric base given by intersection cohomology sheaves on the affine flag variety was never proved.
      
更多          
  prove
The purpose of this note is to prove, as Lusztig stated, that the Euler characteristic of the variety of Iwahori subalgebras containing a certain nil-elliptic elementnt istcl wherel is the rank of the associated finite type Lie algebra.
      
We prove that if a reductive group action on an affine quadric with a 1-dimensional quotient has a linear model, then the action is linearizable.
      
In this paper, we prove the degenerations of Schubert varieties in a minusculeG/P, as well as the class of Kempf varieties in the flag varietySL(n)/B, to (normal) toric varieties.
      
Using these monomial bases we prove that the image of the transfer for a general linear group over a finite field is a principal ideal in the ring of invariants.
      
We prove the following result: LetG be a finite irreducible linear group.
      
更多          
  proved that
It is also proved that the group of holomorphic automorphisms ofG?υ which commute withG? acts transitively on the set of polynomially convexG-orbits.
      
It is proved that for any prime $p\geqslant 5$ the group $G_2(p)$ is a quotient of $(2,3,7;2p) = \langle X,Y: X^2=Y^3=(XY)^7 =[X,Y]^{2p}=1 \rangle.$
      
It is proved that in the rectangle, the function h satisfies the followingfunctional inequality: where c is an absolute positive constant.
      
In a much cited article, Yau [5] proved that when the Ricci curvature is bounded uniformly below, then the only bounded solution to the heat equation ?tμ=Δμ on [0, ∞) × M which vanishes at t=0 is the one which vanishes evarywhere.
      
It is proved that associated with every wavelet set is a closely related "regularized" wavelet set which has very nice properties.
      
更多          
  其他


点击这里查询相关文摘
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关证明的内容
在知识搜索中查有关证明的内容
在数字搜索中查有关证明的内容
在概念知识元中查有关证明的内容
在学术趋势中查有关证明的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社