Algorithm 539: Basic linear algebra subprograms for FORTRAN usage. In Scientific Computing with Automatic Result Verification. C-XSC A programming environment for verified scientific computing and numerical data processing. A New Approach to Scientific Computation. Inverse standardfunktionen ~dr reelle und komplexe intervallargumente mit a priori fehlerabsch~itzungen. In the abstracts for the IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics. Extending LINPACK by verification routines for linear systems. In the abstracts for the IMACS /GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics. BIAS-Basic interval arithmetic subroutines. INTLIB: A portable FORTRAN 77 elementary function library. INTBIS, A portable interval Newton/bisection package (Algorithm 681). A Fortran 90 environment for research and prototyping of enclosure algorithms for constrained and unconstrained nonlinear equations. Self-Validating Numerics for Function Space Problems. On bounding the range of some elementary functions in FORTRAN 77. Global Optimization using' Interval Analysis. In Sc~enti~c Computing' with Automatic Result Ver~fzcation. PASCAL-XSC, New concepts for scientific computation and numerical data processing. Report 1470, Mathematics Research Center, The Univ. of Mathematics, Marquette Univ., Milwaukee, Wisc. Proposal for a Basic Interval Arithmetic Subroutines Library (BIAS). Comparing software packages for interval arithmetic. An experimental interval arithmetic package in Maple. Hochgenaue standardfunktionen fdr reele und komplexe punkte und intervalle in beliebigen gleitpunktrastern.

Intlib