A general demo of some features of INTLAB. A general demo of some features of INTLAB.

Details about interval arithmetic. Details about interval arithmetic.

Some examples of interval computations. Some examples of interval computations.

Some larger examples with INTLAB. Some larger examples with INTLAB.

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

ODEs: The AWA toolbox. ODEs: The AWA toolbox.

ODEs: The Taylor model toolbox. ODEs: The Taylor model toolbox.

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

The polynomial toolbox (univariate and 
                      multivariate polynomials. The polynomial toolbox (univariate and multivariate polynomials.

Gradients: automatic differentiation of 
                      multivariate functions. Gradients: automatic differentiation of multivariate functions.

Hessians: automatic differentiation with 
                      second derivative. Hessians: automatic differentiation with second derivative.

Taylor series: automatic Taylor coefficients. Taylor series: automatic Taylor coefficients.

Affine interval arithmetic. Affine interval arithmetic.

Slopes: automatic slope generation. Slopes: automatic slope generation.

Utility routines. Utility routines.

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

Galois field GF[p] toolbox. Galois field GF[p] toolbox.

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

Accurate summation and dot products. Accurate summation and dot products.