FORTRAN-SC. A study of a FORTRAN extension for engineering/scientific computation with access to ACRITH
From MaRDI portal
Publication:578909
DOI10.1007/BF02310100zbMath0624.68032MaRDI QIDQ578909
M. Metzger, J. H. Bleher, Ulrich Kulisch, Siegfried Michael Rump, Wolfgang Walter, Christian P. Ullrich
Publication date: 1987
Published in: Computing (Search for Journal in Brave)
programming languagesnumerical computationcomputer arithmeticcompilerACRITH subroutine libraryFORTRANverified numerics
Theory of software (68N99) Software, source code, etc. for problems pertaining to numerical analysis (65-04)
Related Items
The cluster problem in multivariate global optimization ⋮ A circuit for exact summation of floating-point numbers ⋮ Constructing large feasible suboptimal intervals for constrained nonlinear optimization ⋮ An interval method for bounding level sets of parameter estimation problems ⋮ Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers ⋮ A programmed algorithm for existence proofs for two-point boundary value problems ⋮ Rigorous solution of linear programming problems with uncertain data ⋮ Interval linear systems with symmetric matrices, skew-symmetric matrices and dependencies in the right hand side
Uses Software
Cites Work