数学问题的机械化，就是要求在运算或证明过程中，每前进一步之后，都有一个确定的、必须选择的下一步，这样沿着一条有规律的、刻板的道路，一直达到结论。即所谓的机械化就是刻板化和规格化。这一导源于中国古代传统数学，由于计算机的出现而呈现旺盛生命力的数学机械化思想在数学研究上已经发挥出它的巨大威力，并且对当今数学及数学教学产生了巨大的影响。
[初等微积分]第三代的微积分 基础科学综合-基础科学-文献数据库 关键词: 初等微积分；极限；数学机械化； [gap=889]Key words: elementarization of calculus；limit；mechanization of mathematics；
基于34个网页-相关网页
迈向数学机械化：从塔斯基到王浩1 关键词：数学机械化 塔斯基 王浩 [gap=7700]Key Words: Mechanical Mathematics; Tarski; Wang Hao
基于12个网页-相关网页
数学机械化方法 Mathematic mechanized method
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.
第一章介绍了数学机械化的思想与计算机代数，回顾了几何定理机器证明的历史和发展。
参考来源 - 微分几何曲面上曲线定理的机器证明Under the guidance of mathematical mechanization and AC=BD model put forward by Prof. Zhang Hongqing,this dissertation is devoted to discussing detailedly elementary integration existence of functions through a large number of theories.
本论文以数学机械化为指导思想,应用导师AC=BD模式,通过大量的理论对超越函数的初等积分存在性做了比较详细的论述。
参考来源 - 超越函数初等积分存在性和机械化算法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.
本文使用的数学机械化方法可推广到涉及非线性代数方程组的其他机构学问题的求解。
The mathematical mechanization method can be extended to solve other mechanism problems involving nonlinear equations symbolically.
应用推荐