Michael Thuné 自动GKS稳定性分析。 （英语） Zbl 0607.65062号 SIAM J.科学。统计计算。 7, 959-977 (1986). 研究线性双曲型初边值问题给定离散化的GKS稳定性通常是一项非常困难的任务。这篇有用的文章描述了自动GKS稳定性分析软件。一个新的软件系统IBSTAB包括FORTRAN数值例程和LISP符号操纵器。据报告，测试表明，新工具很容易为一些离散化提供正确的稳定性条件，这些离散化的稳定性分析可在文献中找到。审核人：桑兹·塞尔纳 引用于1审查引用于3文件 MSC公司： 65N12号 含偏微分方程边值问题数值方法的稳定性和收敛性 65年xx月 数值算法的计算机方面 35L50型 一阶双曲方程组的初边值问题 关键词：符号公式操作;自动GKS稳定性分析;软件系统IBSTAB;FORTRAN数值例程;LISP符号操纵器 PDF格式BibTeX公司 XML格式引用 \textit{M.Thuné}，SIAM J.Sci。统计计算。7959-977（1986年；Zbl 0607.65062） 全文： 内政部