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

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