What is the translation of " 的数学证明 " in English?

• mathematical proof
• mathematical proofs

Examples of using 的数学证明 in Chinese and their translations into English

该定律的数学证明是理想的一致性检查。
A mathematical proof of the law can be considered as an ideal consistency check.

事实证明，提供正确性的数学证明大多是不可行的。
It turned out that providing mathematical proofs of correctness was mostly unfeasible.

本文对此给出严密的数学证明。
A strict mathematical proof was given by this paper.

他的数学证明是纯粹理论上的，因为那时候还没有通用计算机存在。
This mathematical proof was purely as no general-purpose computers existed at the time.

一位理论家告诉我，所有的数学证明都只是程序，反之亦然，至少在他的脑子里是这样。
One theoretician told me that all mathematical proofs are really just programs and vice versa, at least in his mind.

以至于有人这样评论“一个好的数学证明应当像一首诗--而这纯粹是一本电话簿！”.
To paraphrase comments of the time"a good mathematical proof is like a poem-- this is a telephone directory!".

使用形式化验证可以执行自动化的数学证明，保证源代码符合特定的正式规范。
Using formal verification, it is possible to perform an automated mathematical proof that your source code fulfills a certain formal specification.

因此，我们谈论工程艺术，优雅的数学证明，或坚固而有效的代码。
Hence, we talk about the art of engineering, or elegant mathematical proofs, or rugged and efficient code.

他们的数学证明的主要假设是，任何新的物理理论都应该与你在高中学到的物理学向后兼容。
Their mathematical proof's main assumption is that any new physics theory should be backward-compatible with the physics you learned in high school.

优点：算法的可靠性有严格的数学证明，具备（n-1/3容错性.
Advantages: The reliability of the algorithm has strict mathematical proofs with(n-1)/3 fault tolerance.

阿基米德之墓上刻着其最喜爱的数学证明的雕塑，包括高度、直径相同的球面和圆柱体。
The tomb of Archimedes carried a sculpture illustrating his favorite mathematical proof, consisting of a sphere and a cylinder of the same height and diameter.

Mojo在过去三年中将Deering的基础工作（他的数学证明和模拟）变成了实际的物理产品。
Mojo has spent the last three years turning Deering's foundational work- his mathematical proofs and simulations- into a real physical product.

他批判资本主义的经济和哲学手稿不需要任何的数学证明”剩余价值。
His critique of capitalism in those Economic and Philosophical Manuscripts did not need any mathematical proofs of“surplus value.”.

五世纪他们已经掌握了演绎证明的原则,这使他们能够使复杂的和无可辩驳的数学证明。
In fact they had, by the 5th Century, achieved the concept of deductive proof, enabling them to make complex mathematical proofs which were irrefutable.

让我们回答问题“编程难吗？”，自信地回答“是”，因为有关于答案的数学证明。
Let's as answer to the question“Is programming hard?” confidently with“yes”, because there is mathematical proof about the answer.

智能合约也避免了公证、律师和其他第三方的需要，通过不可否认的数学证明来自动化这个过程。
Smart contracts obviate the need for lawyers, notaries and other brokers by automating the process through undeniable mathematical proof.

来自多年的实验和一定程度的数学证明，但它们应该受到挑战。
From years of experimentation and to some extent mathematical justification, they should be challenged.

令您惊讶！为什么此方法有效的数学证明是极为美观，并可在内核感知的Wikipedia条目中找到。
The math proof of why this works is stunningly beautiful and can be found in the Wikipedia entry for kernel perceptrons.

在这个过程中，学生获得信心，这些技能适用于学术界的其他领域，包括富有挑战性的数学证明和复杂的应用题。
In this process, students gain the confidence to apply these skills to other areas of academics, including challenging math proofs and complex word problems.

这项技术可用来分析和识别视觉数据，未来或许有助于开发出反应更灵敏的机械四肢，或解决最棘手的数学证明题。
Computer vision analyses and identifies visual data and may someday help create more responsive robotic limbs, say or solve the knottiest of mathematical proofs.

奖项授予最大的数学证明.
Prize awarded for largest mathematical proof.

IF程序输出一个完整的数学证明.
IF the program outputs a complete math proof.

首个严谨的数学证明直到19世纪才出现。
The first mathematically rigorous proof of this fact was obtained only in the 19th century.

全世界最长的数学证明：全部阅读需100亿年.
They solve the world's longest mathematical problem: it takes 10 billion years to read.

困难的数学证明需要天才的解答，而且它往往是令人着迷的。
In math, difficult proofs require ingenious solutions, and those tend to be interesting.

格雷厄姆系数是一个在严谨的数学证明中被用到的最大的数值。
Graham's number is the largest number that has been used in a serious mathematical proof.

尽管所有的物理定律都可以用数学方程来描述，但许多定律并没有详细的数学证明来解释它们的基本原理。
Although all laws of physics can be described using mathematical equations, many are not supported by detailed mathematical proofs that explain their underlying principles.

希腊数学家在相当大的程度上改进了这些数学方法（特别引入了演绎推理和严谨的数学证明），并扩大了数学的主题[5]。
Greek mathematics refined the methods(especially through the introduction of deductive reasoning and mathematical rigor in proofs) and expanded the subject matter of mathematics.