1***0年左右,麻省理工大学开发了一款叫macsyma的软件,可以计算微积分。
就是很多大学生挂科的高数课,这个软件能做出卷子上96%的微积分题。
——当时微软都没成立。
原理非常朴实无华。
高数课本上会有一张不定积分表,列着一堆积分公式。
对于一道微积分题,软件会枚举这些公式,看看函数有没有被化简。
挑出那些成功化简的结果,再枚举一遍公式,看看函数有没有被进一步化简。
直到函数无法化简为止。
程序总共用到了38个公式,…。