闭形式解. 相关硕士博士期刊学术论文

介绍了微分与差分方程机械化方法研究若干最新进展.主要结果包括,微分、差分方程的特征列理论与算法,微分、差分方程系统的分解算......