 全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多   证明 在 数学 分类中 的翻译结果: 查询用时：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  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－中国知网 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社