| 符号微分与化简系统的实现 |
| |
| 引用本文： | 刘化明,刘璇. 符号微分与化简系统的实现[J]. 厦门大学学报(自然科学版), 1988, 0(3) |
| |
| 作者姓名： | 刘化明 刘璇 |
| |
| 作者单位： | 厦门大学计算机与系统科学系(刘化明)，厦门大学计算机与系统科学系(刘璇) |
| |
| 摘 要： | 本文介绍在IBM-PC机上用Prolog语言编写的符号微分与化简系统SDS,重点介绍表达式化简的方法,SDS能够化简较广的一类表达式。
|
| 关 键 词： | 符号处理 符号微分 表达式序 化简算法 |
Implementation of Symbolic Differentiation and Simplification System |
| |
| Liu Huamin Liu Xuan. Implementation of Symbolic Differentiation and Simplification System[J]. Journal of Xiamen University(Natural Science), 1988, 0(3) |
| |
| Authors: | Liu Huamin Liu Xuan |
| |
| Abstract: | Prolog is useful for solving many problems in symbolic manipulation. This paper describes the implementation of a symbolic differentiation and simplification system SDS which was written with Prolog on IBM-PC, The focus of the paper was put on discussing the simplification of expressions. The simplifier of SDS can simplify a wide class of expressions. |
| |
| Keywords: | Symbolic manipulation Symbolic differentiation Simplification Expression sequence Algorithm |
| 本文献已被 CNKI 等数据库收录！ |
