与“自动数学家”及其后继者不同的是，他们的程序事先只加载了一组简单的基础数学功能和要求其分析的数据。

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.

youdao

二十世纪七十年代，道格拉斯·莉娜的“自动数学家”程序自动生成数学定理，但是被证明基本上毫无用处。

In the 1970s, Douglas Lenat's Automated Mathematician automatically generated mathematical theorems, but they proved largely useless.

youdao

基于优化模型和遗传算法的运算过程，编写计算程序，实现地下水数学模型的自动识别。

Based on the optimization model and the work process of genetic algorithms, the program was written to calibrate the groundwater model.

youdao