Institut für Zuverlässiges Rechnen
Leiter: Prof. Dr. Siegfried M. Rump

dintlab   1   A general demo of some features of INTLAB.

darithmetic   2   Details about interval arithmetic.

dintval   3   Some examples of interval computations.

dsparse   4   Sparse linear systems in INTLAB from Version 14.

dprodK   5   Fast and accurate matrix residuals in INTLAB from Version 14.

daccmatprod   6   Accurate matrix products and residuals in INTLAB from Version 14.

dfactorizations   7   Verified bounds for factorizations in INTLAB from Version 14.

dintlab_larger   8   Some larger examples with INTLAB.

dstdfcts   9   Accurate real and complex interval standard functions in INTLAB.

dawa 10   ODEs: The AWA toolbox.

dtaylormodel 11   ODEs: The Taylor model toolbox.

dglobal 12   Global (un-)constrained optimization and all roots of nonlinear functions.

dpolynom 13   The polynomial toolbox (univariate and multivariate polynomials.

dgradient 14   Gradients: automatic differentiation of multivariate functions.

dhessian 15   Hessians: automatic differentiation with second derivative.

dtaylor 16   Taylor series: automatic Taylor coefficients.

daffari 17   Affine interval arithmetic.

dslope 18   Slopes: automatic slope generation.

dutility 19   Utility routines.

dpair 20   Double-double and Cpair arithmetic.

dfl 21   fl-numbers: k-bit point and interval arithmetic.

dflbeta 22   flbeta-numbers: precision-p base-beta point and interval arithmetic.

dgfp 23   Galois field GF[p] toolbox.

dlong 24   Long numbers: a non-optimal multiple precision package.

daccsumdot 25   Accurate summation and dot products.