超越表达式类上的代数化简器

ALGEBRAIC SIMPLIFIER OF TRANSCENDENTAL EXPRESSIONS

超越表达式的化简是很困难的计算机代数符号化简问题．本文提出了一种新的超越表达式类上的代数符号化简方法，这种方法是基于爬山策略的和替换法；作为应用实例，本文还用该方法对标准三角表达式类进行了化简．目前该种化简方法已经应用于计算机代数化简系统ＣＡＳＳ１．

Simplification of transcendental expression is one of the difficult simplification problem in computer algebra. In this paper, the authors present an algebraic simplification method of transcendental expressions, and the method is a sum substitution strategy based on hill -climbing approach. An important example of the usefulness of this method is found in simplification of normal triangle expressions. Now this simplification method has already been used in computer algebraic simplification system CASS1.