常系数线性微分方程FMI解题杯 (1996年)

本文介绍的常系数线性微分方程解题机是利用数学方法论的研究成果,摸拟人的数学思维过程,采用关系映射反演(RVII)方法,通过符号推理给出微分方程解析解的数学软件文中介绍了研制该解题机的基本思想和实现技术,并给出了用解题机求解微分方程和微分方程组的几个实例。