图菲西一世，布贝兹。;安迪·弗伦西奥尼。;理查德·佩斯金。 微分方程的原型环境。 （英语） Zbl 0768.65046号 科学计算专家系统。第二届IMACS国际会议，美国印第安纳州西拉斐特，1990年，55-67（1992年）。 [有关整个系列，请参阅Zbl 0747.00037号.]作者描述了数值逼近常微分方程组初边值问题和两点边值问题解的柔性软件的设计。该软件有一个代数处理组件和一个数值处理组件，这两个组件都由作者的SMALLTALK-80接口控制。输入由微分方程、初始边界条件和网格长度组成，以适当的方式书写，输出以图形形式。通过代数处理，问题被简化为一阶系统。在微分方程区域和边界的网格点处近似一阶系统。由此产生的代数系统通过Newton-Raphson方法求解。程序的代数和数值部分都需要外部支持程序。作者使用MAPLE和PRO-MATLAB软件。计算设计是有效的，因为Newton-Raphson迭代中的雅可比矩阵是修改的块对角形式[参见。S.J.赖特和V.佩雷拉，SIAM J.科学。统计计算。11, 425-449 (1990;兹伯利0704.65013)].该程序由一个菜单控制，该菜单包括（i）微分方程的更改，（ii）边界条件的改变，（iii）定义新问题，（iv）迭代显示，（v）相位图显示。图形显示使用了作者与S.S.Walther共同设计的SCENE软件中的图形工具。给出了两个测试问题的结果。该程序正在扩展，以包括偏微分系统。审核人：J.B.Butler jun.（波特兰） MSC公司： 65升10 常微分方程边值问题的数值解 65升05 常微分方程初值问题的数值方法 65年第68季度 算法和问题复杂性分析 34A34飞机 非线性常微分方程和系统 34B15号机组 常微分方程的非线性边值问题 65日元10 特定类别建筑的数值算法 关键词：柔性软件的设计;系统;代数处理;数值处理;初始边界条件;一阶系统;牛顿-拉夫森法;图形显示;测试问题 引文：Zbl 0747.00037号;Zbl 0704.65013号 软件：枫树;Matlab公司;Smalltalk公司 PDF格式BibTeX公司 XML格式引用 \textit{T.I.Boubez}等人，in：科学计算专家系统。1990年4月24日至26日在美国印第安纳州西拉斐特普渡大学举行的第二届IMACS国际会议记录。阿姆斯特丹等：爱思唯尔。55-67（1992年；Zbl 0768.65046）