At the same time implemented machine proof of some mathematical theorems (Group theory) and logical Inference of statements.

与此同时，实现了一些数学(群论)定理的机器证明，命题的逻辑推演等。

youdao

The company might be very optimistic, but the ability of their machine to detect deception has not provided credible proof.

该公司可能非常乐观，但他们的机器检测欺骗的能力并没有提供可信的证据。

youdao

The new machine is supposed to be the solution to all our production problems, but the proof of the pudding is in the eating.

新机器按说能够解决我们生产上的一切问题， 然而能否做到这一点还有待于实践的检验。

youdao

They look like an extra-large version of the World War Two jeep, but enclosed, with small blast-proof windows, a protected machine gun position on top and a variety of high-tech gear inside and out.

VOA: standard.2009.11.02