计算机符号运算系统在微分方程中的一个软件包＊梁肇军杨斌（华中师范大学数学系，武汉４３００７０）关键词软件包；微分方程；线性变换中图分类号Ｏ１７５．１２计算机符......