ACRITH-XSC公司 swMATH ID: 15 软件作者： 沃尔夫冈·沃尔特。 描述： ACRITH-XSC是一种类似Fortran的编程语言，用于开发自验证数值算法。这些算法提供了高精度的结果，并经计算机验证是正确的。因此，无需对这些计算进行手工误差分析。例如，自验证数值技术已成功应用于土壤力学、液晶光学、地下水建模和振动力学中的各种工程问题，而传统的浮点方法已经失败。除了少数例外，ACRITH-XSC是FORTRAN 77的扩展。ACRITH-XSC中提供的各种语言概念在Fortran 90中也有类似的形式。ACRITH-XSC的其他功能是专门为数字目的而设计的：数字常量和数据转换以及具有舍入控制的算术运算符、区间和复杂区间算术、精确的矢量/矩阵算术、用于点和区间参数的一组扩展的数学标准函数，等等。对于一类被称为“点积表达式”的受限表达式，ACRITH-XSC提供了一种特殊的表示法，确保以最低比特精度计算此类表达式，即计算结果和精确解之间没有机器号。在许多算法中，精确的点积是获得高精度的关键。介绍了ACRITH-XSC的主要语言特点和数值工具，并通过一些典型示例进行了说明。在适当的地方注明与Fortran 90的区别。最后给出了计算初值问题解的连续界的完整示例程序。 主页： http://www2.math.uni-woppertal.de/~xsc/xsc/history.html 关键词： 程序设计语言ACRITH-XSC;数值算法;堡垒77;区间算术;精确点积 相关软件： C-XSC（C-XSC）;C-XSC 2.0版;帕斯卡尔-XSC;国际图书馆;INTBIS公司;国际实验室;FORTRAN-SC公司;ADOL-C公司;BLAS公司;FORTRAN-XSC公司;算法693;虚拟专用接口;mctoolbox软件;个人资料/偏差;PCOMP公司;INTPAK公司;枫树;兰斯洛特;水瓶;算法719 引用于： 48文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 ACRITH-XSC公司。用于验证科学计算的类Fortran语言。 Zbl 0801.68019号沃尔夫冈·沃尔特。 1993 全部的 前5名46位作者引用 10 齐格弗里德·迈克尔（Siegfried Michael），臀部 6 迈克尔·普卢姆 4 乌尔里希·库利什。 4 迈克尔·舒尔特。 三 沃尔特·克雷默 2 乔治·F·科里斯。 2 亚历山大·达维登科夫 2 赫尔茨伯格（Jürgen P.Herzberger）。 2 马克斯·杰雷尔（Max E.Jerrell）。 2 贝克·基尔福特 2 Swartzlander，厄尔·E·琼。 1 艾哈迈特·阿克斯 1 奥辛格、温弗里德 1 J.Hartmut布莱尔 1 詹姆斯·克雷格（James Craig Burley） 1 卡斯滕·卡斯滕森 1 瑟伦·克里斯蒂安森 1 乔波米尔·乔普林舍克 1 米林德·达旺德。 1 Stefan Geörg 1 迈克尔·格伦 1 罗尔夫·哈默 1 霍克斯，马提亚斯 1 沃纳·霍夫舒斯特 1 哈维尔·霍尔米戈 1 胡、陈毅 1 克里斯蒂安·詹森 1 卢克·杰林 1 朱利格，H.-P。 1 拉尔夫·埃利斯·克莱曼 1 朱里·科洛普 1 利普什，L。 1 迈克尔·梅茨格 1 Nakao，Mitsuhiro T。 1 伊夫·尼韦尔特 1 Petković，Miodrag S。 1 迪特马尔·拉特斯 1 约翰·施罗德 1 汉斯·斯泰特（Hans J.Stetter）。 1 克里斯蒂安·乌尔里奇。 1 胡里奥·维拉尔巴 1 G.William Walster 1 埃里克·沃尔特 1 沃尔夫冈·沃尔特 1 沃尔夫冈·沃尔特。 1 维塔利·泽洛夫 全部的 前5名16篇连载文章中引用 11 计算 4 德国机械工业联合会（ZAMM） 4 ACM数学软件汇刊 4 可靠的计算 2 赞普。Zeitschrift für angewandte数学与物理 2 线性代数及应用 2 计算经济学 1 计算数学 1 Automatica公司 1 Wissenschaftliche Zeitschrift公司 1 应用数值数学 1 日本应用数学杂志 1 数值算法 1 ZOR（缩放）。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年X月X日） 1 复变量的函数（30年XX月） 1 统计学（62-XX） 1 可变形固体力学（74-XX） 1 流体力学（76-XX） 1 光学、电磁理论（78-XX） 1 经典热力学，传热（80-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的引文