四加一等于五，这对所有数学是一种提示。
Four and one makes five, which is the clue to all mathematics.
数学是一种智力训练。
数学是一种思维。
数学是一种理性的精神，使人类的思维得以运用到最完善的程度。
Mathematics is a kind of rational spirit, makes possible the use of the human mind to the point of the most perfect.
样品认为该产品的修改信息：“数学是一种逻辑的延伸。”数学有简单的规则。
Sample thought modification messages in this product: "Math is an extension of logic."
数学是一种理论性的，有组织的结构，其本身就强加给你们你们的秩序与可预测性的概念。
Mathematics is a theoretical organized structure that of itself imposes your ideas of order and predictability.
数学语言是一种由记号和符号所构成的语言。
本书是对数学(或者定量)金融学几近抨击的一种批判。
His book is a critique bordering on an assault on mathematical - or quantitative - finance.
一方面，有一种担心是觉得在学校里，女孩子得不到像男孩子同样的对待，特别是在数学和自然科学方面。
[on the one hand,] there was the concern that girls were not getting the same treatment as boys in school, especially around math and science.
代码度量是一种计算代码复杂度的数学方法。
Code metrics are a way to mathematically calculate the complexity of code.
正如很多人所了解的那样，状态机是一种关于系统状态的数学表达式。
As many of you know, a state machine is a mathematical expression of a system's state.
列文和莱顿发明的是一种被称作“一致性哈希”的数学规划，这可以从根本上提高进程的速度。
What Lewin and Leighton invented was a mathematical scheme called "consistent hashing" that radically sped up the process.
有趣的是，直到1798年发现了罗塞塔石碑，多数学者认为，象形文字是一种插图，不是表音字母组成的字母表。
Interestingly, until the Rosetta Stone was discovered in 1798, and later translated, most scholars believed that the hieroglyphs were illustrations, not phonetic sounds making up an alphabet.
那种建模的方法是怎么进化来的？很显然的，这里有很强的数学研究背景，但是怎么把它转化成一种实用的东西呢？
How did that approach to modeling evolve? Obviously, there's this strong mathematical research background. But what's the process like of translating that theory into something that's usable?
为了能够实现这一点，你的URL必需是要注重实用性的，就几乎仿佛它们就是数学方程序一样——许多简单的规则组合成一种策略性的方式，以此来获得他们想要的页面。
In order to achieve this, your URLs will need to be pragmatic. Almost like they were a math equation - many simple rules combined in a strategic fashion to get to the page they want.
我特别想谈谈数学作为一种电脑语言，他的首选总是用户界面语言，但他是有尝试帮助的。
I particularly wanted to talk to him about Mathematica as a computer language. He always preferred user interfaces to languages, but he was trying to be helpful.
SHA - 1是一种非常典型的数学计算。
任何一种没有奇点的宇宙模型都将解决广义相对论中困扰着科学家们的奇点问题，因为奇点在数学上是无法定义的。
Any kind of singularity-free Universe would solve the singularity problem that has bothered scientists about general relativity, since a singularity cannot be mathematically defined.
也许，有一种并不十分严谨的证明，用严格定义的数学概念来支持这样的论点，那就是一个个体，可以实现显著，甚至是深远的变革。
Perhaps there is anecdotal evidence, using rigorously defined mathematical concepts, to build the premise that a single individual can manifest the significant, to even profound, change they desire.
其中最流行的产品是任天堂的“大脑时代”（也称为大脑训练）——是一种简单的大脑操练题合集，像数学题、记忆力测验和字谜等。
One of the most popular products is Nintendo's Brain Age (also known as Brain Training) -- a collection of simple exercises like math problems, memory tests and word puzzles.
数字签名是一种向消息附加“个人”身份的数学方法。
A digital signature is a math-based method of attaching a "personal" identity to a message.
更糟糕的是，还存在这样一种可能：那些“确实”毕业了的学生中，不会读书、没做过几道数学题的人更是多了去了。
Even worse, if that is possible, far too many students who DO graduate, cannot read or compute math adequately.
数学家们都偏好于玩一些游戏，尤其是一种特殊的游戏，他们观察并研究人们如何去选择个人的行为方式并获得最大度的收益回报。
MATHEMATICIANS like to play games. In particular, they like to play games that examine how people pick ways of behaving that will maximise returns.
Scilab是一种数学算法语言，但一般的计算机程序员对它也不陌生。
Scilab is a kind of mathematical algorithm language, but it will also seem familiar to the average computer programmer.
Derive是使用Lisp语言编写的，Lisp是一种公共编程语言，尤其适合基于规则的处理，该处理是将一个抽象数学表达式变换为另一个表达式所必需的。
Derive is written in Lisp, a common programming language that is especially suited for the kind of rule-based processing necessary for transforming one abstract mathematical expression into another.
数学上的分形（fractals）是一种非常复杂的几何形状，这正是医生所要关注的，它是协助医生区分健康的细胞形态和癌变的一个重要特征。
The mathematics of fractals – very complex geometric shapes – is just what the doctor ordered, helping to capture the difference between the shape of a healthy cell and a cancerous one.
带状是一种结构，但还有其他的，Brualdi希望数学家们把像Strang一样的方法用到其它结构类型的矩阵中去。
Bandedness is one type of structure, but there are others, and Brualdi expects other mathematicians to apply techniques like Strang s to other types of structured matrices.
带状是一种结构，但还有其他的，Brualdi希望数学家们把像Strang一样的方法用到其它结构类型的矩阵中去。
Bandedness is one type of structure, but there are others, and Brualdi expects other mathematicians to apply techniques like Strang s to other types of structured matrices.
应用推荐