Cited in
(42)- scientific article; zbMATH DE number 802434 (Why is no real title available?)
- Global minimization using an augmented Lagrangian method with variable lower-level constraints
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers
- Augmented Lagrangians with possible infeasibility and finite termination for global nonlinear programming
- Computing predecessor and successor in rounding to nearest
- Mathematically rigorous global optimization in floating-point arithmetic
- Application of interval Newton's method to chemical engineering problems
- Algorithm 763: INTERVAL_ARITHMETIC
- Interval computations, rigour and non-rigour in deterministic continuous global optimization
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- 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
- scientific article; zbMATH DE number 804612 (Why is no real title available?)
- Matrix algebra. Theory, computations and applications in statistics
- A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization
- Interval arithmetic with containment sets
- Augmented Lagrangian methods for nonlinear programming with possible infeasibility
- ACRITH-XSC
- C-XSC
- C-XSC 2.0
- FORTRAN-XSC
- INTBIS
- PROFIL/BIAS
- VPI
- b4m
- INTERVAL_ARITHMETIC
- Bunlsi
- Intsolver
- INTPAK
- Algorithm 722
- scientific article; zbMATH DE number 714516 (Why is no real title available?)
- PASCAL-XSC
- CADAC
- Optimizing INTBIS on the CRAY Y-MP
- PROFIL/BIAS - A fast interval library
- Fast and parallel interval arithmetic
- Rigorous global search: continuous problems
- Variable-precision, interval arithmetic coprocessors
- Accurate solution of dense linear systems. II: Algorithms using directed rounding
- Fast interval matrix multiplication
- Finding all solutions of nonlinearly constrained systems of equations
- A numerical verification of nontrivial solutions for the heat convection problem
This page was built for software: INTLIB
