特殊函数的符号演算系统

本采用公理化方法，使用REDUCE在微机上开发了一个面向对象的“特殊函数的演算系统”。使用本系统，可以很快地得到带各种不同参数的十九种特殊函数的表达械或函数值，并且由此结果或进一步使用这一结果可以得到有关微分方程的固有值，固有函数，以及方程的通解或特解。