与“自动数学家”及其后继者不同的是，他们的程序事先只加载了一组简单的基础数学功能和要求其分析的数据。
Unlike the Automated Mathematician and its heirs, their program is primed only with a set of simple, basic mathematical functions and the data it's asked to analyze.
二十世纪七十年代，道格拉斯·莉娜的“自动数学家”程序自动生成数学定理，但是被证明基本上毫无用处。
In the 1970s, Douglas Lenat's Automated Mathematician automatically generated mathematical theorems, but they proved largely useless.
基于优化模型和遗传算法的运算过程，编写计算程序，实现地下水数学模型的自动识别。
Based on the optimization model and the work process of genetic algorithms, the program was written to calibrate the groundwater model.
文中介绍用模糊数学的方法自动构组一个时窗内反射特征变化的平面图，并在VAX计算机上编制了程序。
It is stated how the fuzzy method is used on a VAX computer to automatically construct a plane map of the reflection character changes in a time window.
然而，对于数学废儿童而言，他们的程序记忆运转也许并不顺利，因此他们的数学技能并未达到自动化。
However, for some children with math disability, procedural memory may not be working well, so math skills are not automatized.
采用回归分析等数学方法，基于大量实验数据建立了测量结果的优化公式，并将该公式编入测量程序，实现了在测量结束的同时自动优化测量结果。
Based on regression analysis and a large number of experiment data, an optimization equation was established and programmed into a testing programming to correct automatically the test results.
采用回归分析等数学方法，基于大量实验数据建立了测量结果的优化公式，并将该公式编入测量程序，实现了在测量结束的同时自动优化测量结果。
Based on regression analysis and a large number of experiment data, an optimization equation was established and programmed into a testing programming to correct automatically the test results.
应用推荐