INTBIS
From MaRDI portal
Software:13200
swMATH442MaRDI QIDQ13200FDOQ13200
Author name not available (Why is that?)
Cited In (30)
- Interval Analysis for Certified Numerical Solution of Problems in Robotics
- Interval arithmetic for nonlinear problem solving
- Experiments using interval analysis for solving a circuit design problem
- Efficient interval partitioning-local search collaboration for constraint satisfaction
- On the selection of subdivision directions in interval branch-and-bound methods for global optimization
- On the complexity of isolating real roots and computing with certainty the topological degree
- Numerical Software with Result Verification
- \texttt{lsmear}: a variable selection strategy for interval branch and bound solvers
- Node selection strategies in interval branch and bound algorithms
- Optimizing INTBIS on the CRAY Y-MP
- Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library
- Minimal-energy clusters of hard spheres
- Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects
- Finding all solutions of nonlinearly constrained systems of equations
- Interval-based projection method for under-constrained numerical systems
- Global optimization using interval arithmetic
- A parser for the interval evaluation of analytical functions and its application to engineering problems
- Decompostition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems
- Interval methods for model qualification: methodology and advanced application
- Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification
- A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization
- Topographical global initialization for finding all solutions of nonlinear systems with constraints
- The cluster problem in multivariate global optimization
- Finding multiple roots of a box-constrained system of nonlinear equations with a biased random-key genetic algorithm
- Nonsmooth exclusion test for finding all solutions of nonlinear equations
- Nonlinear optimization applications using the GAMS technology
- PROFIL/BIAS - A fast interval library
- Application of interval Newton's method to chemical engineering problems
- Dense packings of congruent circles in a circle
- McLaren's improved snub cube and other new spherical designs in three dimensions
This page was built for software: INTBIS