Reliable Computing, INTLAB - Fast INTerval LABoratory, Matlab Octave toolbox, precision calculations, interval arithmetic, global optimization, Verified SemiDefinite quadratic linear Programming, Taylor model, polynomial toolbox, Gradients, Hessians, Linear Algebra, Accurate summation, dot products, linear systems, inner inclusion, global minimum, interval overestimation, Matlab Toolbox, Octave To