英语释义

1. to establish the existence, truth, or validity of (as by evidence or logic)
prove a theorem the charges were never proved in court

2. to demonstrate as having a particular quality or worth
the vaccine has been proven effective after years of tests proved herself a great actress

3. to show (oneself) to be worthy or capable
eager to prove myself in the new job

4. to test the truth, validity, or genuineness of
the exception proves the rule prove a will at probate

5. to test the worth or quality of specifically to compare against a standard —sometimes used with up or out

6. to check the correctness of (something, such as an arithmetic result)

7. to learn or find out by experience

8. to turn out especially after trial or test
the new drug proved effective

9. to show the existence, truth, or correctness of (something) by using evidence, logic, etc.

10. to show that (someone or something) has a particular quality, ability, etc.

11. to turn out to be

12. to show the truth or existence of something with facts
I can prove he's guilty.

13. to turn out to be
The climb proved more difficult than they had expected.

14. to check the correctness of
prove the math theory

15. to test by experiment or by a standard Tests proved that the vaccine is effective.

16. to test the truth, validity, or genuineness of
prove a will at probate

17. to establish the existence, truth, or validity of
the charges were never proved in court

18. to provide sufficient proof of or that
proved the defendant guilty beyond a reasonable doubt

片语

Theory Prover定理证明

bucket prover间格斗式运输器

theorem prover[计] 定理证明器

portable prover移动式检定装置

line prover在线校正仪表

ballistic prover沖击式流量校验器

linen prover织物分析镜

witness(Witness)人名；(津)威特尼斯

teste(Teste)人名；(法)泰斯特

belt prover带运机

unidirectional prover单向标準体积管

英汉例句

• This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.

  这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。

• The ownership prover insert the watermark into the host signal using symmetric watermark technology based on spread spectrum.

  所有权证明者采用基于扩频的对称水印技术，在宿主信号中嵌入水印；

• Therefore once the security requirement in single prover condition is satisfied the identity authentication protocol can also be run in multi-provers condition.

  因此，只要满足了其中单证明者环境下的安全要求，身份认证协议也能安全地运行在多个证明者的环境下。

• Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.

  有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。

• Effective use of a theorem prover requires a solid understanding of the internal operations of the tool and a familiarity with the mathematical proof process.

  高效地使用定理证明需要对工具的内部操作有坚实的理解并且熟悉数学证明过程。

• We will serve you for ever with our solid spirit, prover techniques, qualified products and our advanced equipment and management together with our good reputation.

  本公司将一如既往的以求实的精神、成熟的技术、优质的产品、现代化的设备、先进管理、良好的信誉为您服务。

• This paper proposes an automatic calibration system of bell prover gas calibration facility.

  介绍了一种钟罩式气体流量标準装置自动检定系统。

• Or else, the abstraction may throw away so much information that the theorem prover may yield results that are correct for the abstraction, but incorrect for the program being analysed.

  要不然，抽象会丢掉那么多信息，以致于定理证明程序产生的结果对抽象而言是正确的，但是对于正在被分析的程序而言则是不正确的了。

• A prover for parallel numerical verification of a class of constructive geometry theorems.

  一类构造性几何定理的数值并行法证明器。

• Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.

  尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。

• This paper presents a technique for designing theorem prover which mainly based on transformation and substitution for Pointer Logic. The technique realized as a tool called APL is implemented.

  提出了一种为指针逻辑设计定理证明器的新技术，该项技术主要是基于变换和替代，已在APL的工具中得以实现。

相似词

demonstrate示威

document记录，记载

establish建立，创立；确立；获得接受；查实，证实

substantiate证实；使实体化

validate证实，验证；确认；使生效

相反词

disprove反驳，证明…是虚假的

rebut驳回；提出反证

refute反驳，驳斥；驳倒