INTLIB

swMATH444MaRDI QIDQ13202

No author found.

Described by source

No records found.

Related Items (27)

PROFIL/BIAS - A fast interval library ⋮ Rigorous global search: continuous problems ⋮ Application of interval Newton's method to chemical engineering problems ⋮ Optimizing INTBIS on the CRAY Y-MP ⋮ Finding all solutions of nonlinearly constrained systems of equations ⋮ Interval arithmetic with containment sets ⋮ Computing predecessor and successor in rounding to nearest ⋮ Variable-precision, interval arithmetic coprocessors ⋮ Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers ⋮ Matrix Algebra ⋮ Accurate solution of dense linear systems. II: Algorithms using directed rounding ⋮ Fast interval matrix multiplication ⋮ Global minimization using an augmented Lagrangian method with variable lower-level constraints ⋮ A numerical verification of nontrivial solutions for the heat convection problem ⋮ Algorithm 763: INTERVAL_ARITHMETIC ⋮ A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization ⋮ Mathematically rigorous global optimization in floating-point arithmetic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Augmented Lagrangians with possible infeasibility and finite termination for global nonlinear programming ⋮ Augmented Lagrangian methods for nonlinear programming with possible infeasibility ⋮ Interval computations, rigour and non-rigour in deterministic continuous global optimization ⋮ Unnamed Item ⋮ Mathematical function software on the web -- are such codes useful for verification algorithms? ⋮ The use of interval arithmetic in solving a non-linear rational expectation based multiperiod output-inflation process model: the case of the IN/GB method ⋮ Motivations for an arbitrary precision interval arithmetic and the MPFI library ⋮ Fast and parallel interval arithmetic

This page was built for software: INTLIB