The following pages link to INTLIB (Q13202):
Displayed 27 items.
- Fast interval matrix multiplication (Q451807) (← links)
- Augmented Lagrangians with possible infeasibility and finite termination for global nonlinear programming (Q742114) (← links)
- Augmented Lagrangian methods for nonlinear programming with possible infeasibility (Q746818) (← links)
- Interval arithmetic with containment sets (Q858179) (← links)
- 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 (Q1043352) (← links)
- Fast and parallel interval arithmetic (Q1307245) (← links)
- PROFIL/BIAS - A fast interval library (Q1340873) (← links)
- Rigorous global search: continuous problems (Q1353367) (← links)
- A numerical verification of nontrivial solutions for the heat convection problem (Q1430499) (← links)
- Mathematical function software on the web -- are such codes useful for verification algorithms? (Q1577441) (← links)
- Application of interval Newton's method to chemical engineering problems (Q1904303) (← links)
- Optimizing INTBIS on the CRAY Y-MP (Q1904310) (← links)
- Finding all solutions of nonlinearly constrained systems of equations (Q1904647) (← links)
- Variable-precision, interval arithmetic coprocessors (Q1916973) (← links)
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers (Q1924483) (← links)
- Accurate solution of dense linear systems. II: Algorithms using directed rounding (Q1932771) (← links)
- Global minimization using an augmented Lagrangian method with variable lower-level constraints (Q1960193) (← links)
- Computing predecessor and successor in rounding to nearest (Q2391021) (← links)
- Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919) (← links)
- Interval computations, rigour and non-rigour in deterministic continuous global optimization (Q3093044) (← links)
- (Q4321536) (← links)
- Algorithm 763: INTERVAL_ARITHMETIC (Q4371107) (← links)
- A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization (Q4371586) (← links)
- Matrix Algebra (Q4586609) (← links)
- Mathematically rigorous global optimization in floating-point arithmetic (Q4685569) (← links)
- (Q4849608) (← links)
- (Q4851614) (← links)