[初等微积分]第三代的微积分 基础科学综合-基础科学-文献数据库 关键词: 初等微积分；极限；数学机械化； [gap=889]Key words: elementarization of calculus；limit；mechanization of mathematics；
双语例句
1
Mechanizationofmathematics, therefore, is of great significance to the mechanization of the mental wok in general.
因此，数学机械化对于整个脑力劳动的机械化来说也具有特殊的甚至是关键的意义。
2
This paper discusses the origins of the mechanizationofmathematics and tries to reconstruct its historical development.
文章探讨并力图简明地概括数学思维机械化的历史源流。
3
Chapter 1 is devoted to investigating the ideas of the mathematicsmechanization, computer algebra and the mathematical physics equations mechanization.