查询词典 tempest-proof

Proof theory grew out of David Hilbert 's ambitious program to formalize all the proofs in mathematics.

证据理论中衍生出来的大卫希尔伯特的雄心勃勃的计划，正式的所有证据在数学。

They are :(1) The generalization of mathematical methods;(2) The mathematical method of formulization;(3) The proof of construction;(4) The introduction of algebraic symbols.

在宋元数学中，出现一些新的思想、方法和理论，主要有：(1)数学方法的一般化；(2)程序化的数学方法；(3)构造性的证明；(4)代数符号的引入。

Ping'an Fortis has been the growth of confidence in the future, after the proof of this is not a correct diagnosis.

平安富通集团所带来的风险后已经证明了这一点对未来的信心的增长，并不是一个正确的诊断。

And this research also study the issue that orders quantity is different from reserved capacity quantity and propose a management mechanism. Finally, by the actual foundry industry example to proof the mechanism is practicable.

本研究提出的改良方法，是根据客户所获得的预留产能，将其均摊至各周作为订单允诺的基础，也就是说每个客户每周的可允诺量是固定的，而不会受到订单早来或晚来的影响，以改善实务上先进先出法的缺点。

While the concept of reducibility was studied by other researchers as well, it appears that the idea of discharging, crucial for the unavoidability part of the proof, is due to Heesch, and that it was he who conjectured that a suitable development of this method would solve the Four Color Problem.

可约性观念也是从其他研究中学来的，它也发现了输出，在不可避免的证明的部分中非常重要，这应该归功于西斯奇，那也是他猜测出的一个适当的发展出解决四色定理问题的解决方法。

And the proof of the four color theorem relying on computer has also been involved.

互。地1和w.1柏卜n在美国数学会的通报上声明借助电子计算机解决了这个问题。

In Chapter 3, considering fractional relaxation equation, we make use of directlythe Grunwald-Letnikov definition to discrete fractional derivative, obtain a numericalmethod of fractional relaxation equation,and give the proof of consistency ,conver-gency and stability.

第三章对于一个推广到分数阶的松驰方程，直接利用Gru¨nwald-Letnikov分数阶导数定义进行离散，得到分数阶松驰方程一个数值方法，并给出了相容性，收敛性和稳定性的证明。

From the proof of the m-ain theorem it follows that we replace fractional integral〓in the definition of〓by equal operator I and obtain the boundedness of〓on〓(1＜p＜∞),so we generalize some of results in.

从主要结果的证明可知〓的定义中可用恒等算子取代〓而得到〓从〓到〓有界〓，从而推广了中的结论。

Americans seem to view the increasing incidence of freakish weather as proof that climate change is real.

美国人似乎将异常天气的频繁发生视作气候变化的真实写照。

We will guarantee the quality of delivery and can provide first-class services, including commodity inspection, customs clearance, fumigation, proof of origin.

我们将保证发货的质量，并能提供一流的服务，包括商检、报关、熏蒸、产地证明等。

Diabetes is a social disease that affects several million people worldwide.

糖尿病是一个社会性疾病，全世界有数百万人罹患此病。

I'll call you on Friday to see if we can reschedule our luncheon meeting at your convenience.

我星期五会给您打电话在您方便的时候我们重新安排我们的午餐约会。