INTLIB
From MaRDI portal
Software:13202
swMATH444MaRDI QIDQ13202FDOQ13202
Author name not available (Why is that?)
Cited In (27)
- Title not available (Why is that?)
- Augmented Lagrangians with possible infeasibility and finite termination for global nonlinear programming
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- 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
- Augmented Lagrangian methods for nonlinear programming with possible infeasibility
- Title not available (Why is that?)
- Mathematically rigorous global optimization in floating-point arithmetic
- Optimizing INTBIS on the CRAY Y-MP
- Variable-precision, interval arithmetic coprocessors
- A numerical verification of nontrivial solutions for the heat convection problem
- Global minimization using an augmented Lagrangian method with variable lower-level constraints
- Algorithm 763: INTERVAL_ARITHMETIC
- Fast interval matrix multiplication
- Finding all solutions of nonlinearly constrained systems of equations
- Title not available (Why is that?)
- Fast and parallel interval arithmetic
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers
- Interval computations, rigour and non-rigour in deterministic continuous global optimization
- Accurate solution of dense linear systems. II: Algorithms using directed rounding
- A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization
- Computing predecessor and successor in rounding to nearest
- Interval arithmetic with containment sets
- PROFIL/BIAS - A fast interval library
- Rigorous global search: continuous problems
- Application of interval Newton's method to chemical engineering problems
- Mathematical function software on the web -- are such codes useful for verification algorithms?
- Matrix Algebra
This page was built for software: INTLIB
