INTLAB DEMOS - A short demonstration of INTLAB

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.

dfl-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.