There are mathematical theorem-proving programs.

有些程序可以证明数学定理。

youdao

But now it has also helped prove a new mathematical theorem as well.

但现在这个结果同时也帮助证明了一个新的数学定理。

youdao

It is theoretically possible to exclude some from the use of a poem, or a mathematical theorem, but exclusion is generally quite difficult.

理论上说，存在排除某些人使用某句诗歌或某个数学定理的可能。

youdao

There are mathematical theorem-proving programs.

有些程序可以证明数学定理

耶鲁公开课 - 死亡课程节选

Although Mr Quine has no important theorem to his name he wrote on mathematical logic with ingenuity and wit.

ECONOMIST: Willard Quine