Home     Teaching     Research     Misc

Milan Hladík Intervalové metody (NOPT051), zimní semestr 2025/2026

Přednáska se cvičením se rozvrhuje v rámci hromadné úmluvy KAMu. Předmět se obvykle koná jednou za dva roky.

Probráno:

Various links:

Interval arithmetic (and extensions):

• INTLAB - interval toolbox for Matlab (int. arithmetic, solver for interval systems of equations,...), by S. Rump
  Czech intro to Intlab in the diploma thesis by J. Horáček.
  Verification software VERSOFT written by J. Rohn in Intlab
• Interval package pro Octave by Oliver Heimlich
• Int4Sci - interval toolbox for Scilab, by French INRIA
• XSC Languages - interval extensions for C (C-XCS) and Pascal (Pascal-XSC)

• RealPaver - solver for nonlinear constraints and global optimization
• RSolver program for solving quantified inequality constraints, by Stefan Ratschan
• webComputing - online solver (with visualization) for interval (parametric) systems and other problems, by E. Popova

• MISO (solver), HSolver (hybrid systems), AERN-RnToRm (aproximation of functions by polynomials), ...

• motivational video
• Interval computations by Vladik Kreinovich, an interval web (interval basics, software, applications, ...)