乔尔•摩西
ACM通信，1971年8月，第14卷第8期，第548-560页
10.1145/362637.362651
评论
描述了20世纪60年代的三种符号整合方法。第一个，来自人工智能，导致了斯莱格尔的圣，并在很大程度上导致了摩西的罪。第二个，来自代数操作，导致了Manove的实现，以及Horowitz和Tobey对Hermite算法对有理函数积分的重新检验。第三个是数学方面的，Richardson证明了一类函数的问题不可解，Risch证明了初等函数的判定过程。将Risch算法推广到求解微分方程和求定积分的一类特殊函数和程序。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择下面的一个选项以访问高级内容和功能。
创建一个网上帐户
如果你已经是ACM会员，通信订阅者或数码图书馆订阅者，请设置网页帐户，以浏览本网站的优质内容。
参加ACM
成为ACM的会员，可以充分利用ACM卓越的计算信息资源、网络机会等优势。
订阅ACM杂志通讯
获得50多年的中华中医药学会内容的完整访问权限，并每月获得杂志印刷版。
购买这篇文章
非会员可以购买这篇文章或刊登这篇文章的杂志。
