ACRITH-XSC公司 swMATH标识： 15 软件作者： 沃尔特，沃尔夫冈诉。 说明： ACRITH-XSC是一种类似Fortran的编程语言，用于开发自验证的数值算法。这些算法的结果精度高，经计算机验证是正确的。因此，这些计算不需要手工进行误差分析。例如，自验证数值技术已成功地应用于土力学、液晶光学、地下水建模和振动力学等领域的各种工程问题，而传统的浮点方法已经失败了。除了少数例外，ACRITH-XSC是fortran77的扩展。ACRITH-XSC中可用的各种语言概念在fortran90中也有或多或少相似的形式。ACRITH-XSC的其他特性是专门为数值目的而设计的：数值常量和数据转换、带舍入控制的算术运算符、区间和复区间算术、精确的向量/矩阵算法、点和区间参数的一组扩大的数学标准函数，等等。对于一个被称为“点积表达式”的受限表达式类，ACRITH-XSC提供了一种特殊的表示法，保证这种类型的表达式的计算精度最低，即计算结果和精确解之间没有机器号。在许多算法中，精确的点积是获得高精度的关键。介绍了ACRITH-XSC的主要语言特点和数值工具，并用典型实例加以说明。与Fortran 90的不同之处将在适当的地方注明。最后给出了一个计算初值问题解连续界的完整示例程序。 主页： http://www2.math.uni-wuppertal.de/~xsc/xsc/history.html 关键词： 程序设计语言ACRITH-XSC;数值算法;FORTRAN语言77;区间算术;精确点积 相关软件： C-XSC公司;C-XSC 2.0版;帕斯卡-XSC;国际图书馆;国际实验室;FORTRAN-SC语言;国际贸易银行;算法693;VPI;mc工具箱;布拉斯;轮廓/偏差;FORTRAN-XSC语言;阿多-C;浅绿色;算法719;算法524;PNM公司;MPFR公司;MPFI公司 参考文献： 48种出版物 标准条款 1个出版物描述软件，包括1个出版物在zbMATH 年 ACRITH-XSC公司。用于验证科学计算的一种类似Fortran的语言。 Zbl 0801.68019沃尔特，沃尔夫冈诉。 1993 全部的 前5名46位作者引用 10 屁股，齐格弗里德·迈克尔 6 梅子，迈克尔 4 库利什，乌尔里希W。 4 舒尔特，迈克尔J。 三 克鲁默，沃尔特 2 科利斯，乔治F。 2 亚历山大·戴维登科夫 2 赫尔茨伯格，Jürgen P。 2 杰雷尔，麦克斯·E。 2 Kearfott，贝克 2 斯瓦茨兰德伯爵。 1 艾哈迈特，阿克卡斯 1 奥辛格，温弗里德 1 布莱尔，J.哈特穆特 1 伯利，詹姆斯·克雷格 1 卡斯滕森，卡斯滕 1 克莉丝汀森，瑟伦 1 乔列宾舍克，卢布米尔 1 达万德，米林德W。 1 格尔格，斯特凡 1 哥伦，迈克尔 1 锤子，罗尔夫 1 飞节，马提亚斯 1 沃纳霍夫舒斯特 1 霍米戈，哈维尔 1 胡晨仪 1 詹森，克里斯蒂安 1 焦林，卢克 1 朱利格，H.-P。 1 克莱曼，拉尔夫·埃利斯 1 克洛普，朱丽 1 利普什，L。 1 梅茨格，迈克尔 1 中岛，三桥。 1 尼沃杰特，伊夫 1 佩特科维奇，Miodrag S。 1 拉茨，迪特玛 1 施罗德，约翰 1 斯特特，汉斯J。 1 乌尔里希，克里斯蒂安P。 1 维拉尔巴，朱利奥 1 沃尔斯特，G.威廉 1 沃尔特，埃里克 1 沃尔特，沃尔夫冈 1 沃尔特，沃尔夫冈诉。 1 泽洛夫，维塔利 全部的 前5名在16个系列中引用 11 计算 4 Zeitschrift für Angewandte Mathematik und Mechanik（ZAMM）公司 4 数学软件ACM交易 4 可靠计算 2 赞普。数学与物理学 2 线性代数及应用 2 计算经济学 1 计算数学 1 自动 1 维森夏夫特利奇 1 应用数值数学 1 日本应用数学杂志 1 数值算法 1 佐尔。Zeitschrift für运筹学 1 区间计算 1 IEEE天线与传播事务 全部的 前5名在17个字段中引用 41 数值分析（65-XX） 13 计算机科学（68-XX） 6 常微分方程（34-XX） 4 偏微分方程（35-XX） 三 运筹学，数学规划（90-XX） 2 特殊功能（33-XX） 1 场论与多项式（12-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 实函数（26-XX） 1 复变函数（30-XX） 1 统计学（62-XX） 1 可变形固体力学（74-XX） 1 流体力学（76-XX） 1 光学，电磁理论（78-XX） 1 经典热力学，传热（80-XX） 1 博弈论、经济学、金融学和其他社会和行为科学（91-XX） 1 系统论；控制（93-XX） 按年份引用出版物