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;数值算法;FORTRAN福特兰77;区间算术;精确点积 相关软件: C-XSC(C-XSC);C-XSC 2.0版;PASCAL-XSC公司;国际图书馆;INTBIS公司;国际实验室;FORTRAN-SC公司;ADOL-C公司;BLAS公司;FORTRAN-XSC公司;算法693;虚拟专用接口;MC工具箱;个人资料/偏差;PCOMP公司;INTPAK公司;枫树;兰斯洛特;水瓶;算法719 引用于: 48文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 ACRITH-XSC公司。用于验证科学计算的类Fortran语言。 Zbl 0801.68019号沃尔夫冈·沃尔特。 1993 全部的 前5名46位作者引用 10 齐格弗里德·迈克尔(Siegfried Michael),臀部 6 迈克尔·普卢姆 4 乌尔里希·库利什。 4 迈克尔·舒尔特。 三 沃尔特·克雷默 2 乔治·柯利斯(George F.Corliss)。 2 亚历山大·达维登科夫 2 赫尔茨伯格(Jürgen P.Herzberger)。 2 杰雷尔,马克斯·E。 2 贝克·基尔福特 2 斯瓦茨兰德伯爵。 1 艾哈迈特·阿克斯 1 奥辛格、温弗里德 1 布莱赫,J.哈特穆特 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 Zeitschrift für Angewandte Mathematik und Mechanik(ZAMM) 4 ACM数学软件汇刊 4 可靠的计算 2 ZAMP公司。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) 按年份列出的引文