Mechanization of mathematics, therefore, is of great significance to the mechanization of the mental wok in general.
因此，数学机械化对于整个脑力劳动的机械化来说也具有特殊的甚至是关键的意义。
This paper discusses the origins of the mechanization of mathematics and tries to reconstruct its historical development.
文章探讨并力图简明地概括数学思维机械化的历史源流。
Chapter 1 is devoted to investigating the ideas of the mathematics mechanization, computer algebra and the mathematical physics equations mechanization.
第一章介绍了数学机械化思想与计算机代数，以及数学物理机械化。
应用推荐