递归程序变换在特殊函数公式推导中的应用

摘要

本文针对一类多步递归模式,设计了相应的等价尾递归(迭代)模式,并结合计算机代数语言REDUCE,把所得到的迭代模式应用于特殊函数(如勒让德多项式等)的公式推导中,从而大大提高了计算机公式推导的效率。