查询词典 proof

A zero-knowledge proof of identity protocol on conic is proposed in this paper.

提出了一种安全性是基于圆锥曲线上离散对数计算的零知识身份鉴别协议。

Inequalities in the proof of college entrance examination, often with the series, conics, trigonometric functions,"Three Second," the number of permutation and combination of combining the answers to questions.

高考中证明不等式问题，常常是与数列、二次曲线、三角函数、"三个二次"、排列组合数等相结合的解答题。

Be to be able to be factual proof "by design's", this one conjecture naturally.

自然是"被设计的"，这一猜想可以为事实证明。

In terms of the minimum question of a positive definite quadratic function,a set of Newton directions in minimum points derived with an accurate single dimensional search are used to produce a set of conjugate direction ,and a proof of convergence is presented.

对正定二次函数极小问题，利用精确一维搜索所得极小点处的牛顿方向来生成一组共轭方向，并给出收敛性证明

He conceived the first proof that the 17-sided polygon is constructible.

他构思了17边形可以作图的第一个证明。

1265 It is always possible to construe logic in such a way that every proposition is its own proof.

6.1265 对逻辑始终可以这样来理解：每个逻辑命题都是它自身的证明。

This paper gives another proof for Jordan inequality by uniform continuity and monotonicity of the function, which enriches the results obtained before.

该文利用函数的一致连续性及单调性，给出Jordan不等式的又一证明，丰富了已有的一些结果，同时给出它的应用。

Gerber and Shiu (1998a) and Tsai and Willmot (2002) all consider the renewal equation for the expected discounted penalty function at ruin Ф and its decomposition in this risk process. In their proceeding, they assumed the twice continuous differentiability of Ф,Ф〓,Ф〓 as a premise but its proof isn't obvious.

Gerber and Landry（1998）及Tsai andWillmot（2002）考虑了此模型下的破产时罚金折现期望Ф所满足的更新方程及其分解后的因子Ф〓和Ф〓，但它们的推导过程都是在假定Ф，Ф〓，Ф〓连续且二次连续可微的前提条件下进行的，但实际上此前提假定的成立并非显然。

Conley index; prime isolated invariant set; bifurcation point; discontinuity dynamical systems; finite piecewise continuous map; coding; rigorous computer assisted proof; chaos; Ikeda map

基础科学，数学，动力系统理论Conley指标；素孤立不变集；分支点；间断动力系统；有限分片连续映射；编码；计算机严格辅助证明；混沌； Ikeda映射

The faults in Hibert's proof for the Continuum Hypothesis reflect the historic limitation, but suggests a possible solution.

希尔伯特的证明失误反映了历史的局限性，同时蕴含了有用的证明思想；3。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。