formal proof是什么意思

网络释义

用法例句

An official document certifying such release, especially from military service.

退伍令书面形式证明那些释放的官方文件，尤指从军队服役退伍

Another Proving Method of the Extended Form of Vandermonde Determinant;

范德蒙行列式推广形式的另一证明法

The Proof of One Coordination Conversion Formula

一个坐标转换公式的正确形式的证明

An express warranty may be in any form of words from which the intention to warrant is to be inferred.

明示保证可以用任何形式的文字说明保证意图。

The Logical analysis and Judgment on the Proving Form of mathematical Propositions;

数学命题证明形式的逻辑分析和判定

Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover

基于Isabelle定理证明器算法程序的形式化验证

prove formally; demonstrate by a mathematical, formal proof.

从形式上证明；通过一个数学的或形式的证据来演示某事物。

The abundant crevasse prove that fracture is the chief form of yielding.

大量的冰隙证明破裂是变形的主要形式。

Another Expression Form of x~2+y~2=n and Its Testification;

x~2+y~2=n解数公式的另一表达形式及证明

Facts have proved time and again the truth that energy can be changed from one form into another.

事实一再证明能量可从一种形式转变为另一种形式。

Note that this proof uses the strong version of the ArtinRees lemma.

请注意这个证明使用了Artin-Rees引理的强形式。

4 Q: Why do you need more than one form of evidence for salary and achievement?

为什么需要薪金和成就的证明超过一种形式？

Unified Demonstration and Generalization of Intermediate Value Formula in Infinitesimal Calculus;

微积分中值定理的统一证明及推广形式

MECHANICAL THEOREM PROVING FOR TENSOR WITH INDEXES IN DIFFERENTIAL GEOMETRY

基于指标形式张量的微分几何定理机器证明

Formal Analysis and Proof of the 3GPP-AKA Protocol Based on PCL

基于PCL的3GPP-AKA协议的形式化分析与证明

If the containing type can be proved to be heavy speech type, the method of the mathematical proposition proving and reasoning is correct.

如果能证明该蕴涵式为重言式,那么其数学命题的证明推理形式就是正确的。

Proofs are presented with a" proof idea" component to reveal the concepts underpinning the formalism.

证明是通过「明思想」出的，深刻揭示了支撑形式层面的本质概念。

that his attestation to the annexed INSTRUMENT is due form of Law, and made by the proper officer,

他对所附文件的证明，其形式合法，且是适当的官员所为