查询词典 etch-proof

But don't ask for an explanation of his elegant proof unless you are interested in conic sections.

但是不要要求对他的优雅证明的解释，除非你对圆锥截面感兴趣。

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映射

My father is over 60 years old, and he lifts weights every day.

我爸爸六十多岁了，他每天都练习举重。

Then in a serious tone she declared:"It doesn't pay, dear boy, to look like a ninny with one's wife the first night."

两眼湿润了，她把身子蜷得很小，这样似乎可以更好地闻闻自己。