常系数线性微分方程RMI解题机  

RMI Solver for Constant Coefficient Linear Differential Equations

作　　者：王建东[1,2,3,4] 朱梧(木贾) 肖奚安[1,2,3,4] 徐利治[1,2,3,4] 

机构地区：[1]南京航空航天大学计算机科学与工程系 [2]南京大学计算机软件国家重点实验室 [3]空军气象学院数学教研室 [4]大连理工大学数学科学研究所

出　　处：《Journal of Mathematical Research and Exposition》1996年第3期471-476,共6页数学研究与评论（英文版）

基　　金：国家基础研究攀登计划资助项目.

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

关 键 词：解题机 微分方程 数值解 线性 常系数 

分 类 号：O241.81[理学—计算数学]