mathematics mechanization method 数学机械化方法
Mathematics mechanization and applications 数学机械化及应用
mechanization of mathematics [数] 数学机械化
Chapter 1 is devoted to investigating the ideas of mathematics mechanization and computer algebra; reviewing the history and development of mechanical theorem proving in geometry.
第一章介绍了数学机械化的思想与计算机代数，回顾了几何定理机器证明的历史和发展。
参考来源 - 微分几何曲面上曲线定理的机器证明Presently,the research in mathematics mechanization is becoming the leading edge of our country and the western developed countries.
当前,数学机械化已经成为我国和西方发达国家积极研究的前沿领域。
参考来源 - BCI·2,447,543篇论文数据，部分数据来源于NoteExpress
Chapter 1 is devoted to investigating the ideas of the mathematics mechanization, computer algebra and the mathematical physics equations mechanization.
第一章介绍了数学机械化思想与计算机代数，以及数学物理机械化。
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.
文章探讨并力图简明地概括数学思维机械化的历史源流。
应用推荐