Institut für Zuverlässiges Rechnen
Leiter: Prof. Dr. Siegfried M. Rump
1 A general demo of some features of INTLAB.
2 Details about interval arithmetic.
3 Some examples of interval computations.
4 Sparse linear systems in INTLAB from Version 14.
5 Fast and accurate matrix residuals in INTLAB from Version 14.
6 Accurate matrix products and residuals in INTLAB from Version 14.
7 Verified bounds for factorizations in INTLAB from Version 14.
8 Some larger examples with INTLAB.
9 Accurate real and complex interval standard functions in INTLAB.
10 ODEs: The AWA toolbox.
11 ODEs: The Taylor model toolbox.
12 Global (un-)constrained optimization and all roots of nonlinear functions.
13 The polynomial toolbox (univariate and multivariate polynomials.
14 Gradients: automatic differentiation of multivariate functions.
15 Hessians: automatic differentiation with second derivative.
16 Taylor series: automatic Taylor coefficients.
17 Affine interval arithmetic.
18 Slopes: automatic slope generation.
19 Utility routines.
20 Double-double and Cpair arithmetic.
21 fl-numbers: k-bit point and interval arithmetic.
22 flbeta-numbers: precision-p base-beta point and interval arithmetic.
23 Galois field GF[p] toolbox.
24 Long numbers: a non-optimal multiple precision package.
25 Accurate summation and dot products.