PROFIL/BIAS
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Improved lower bounds for semi-online bin packing problems
- A robust and efficient algorithm for planar competitive location problems
- On the impact of spatial pattern, aggregation, and model parameters in planar Huff-type competitive location and design problems
- 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
- ACRITH-XSC
- C-XSC
- C-XSC 2.0
- Comparison of four software packages applied to a scattering problem
- Fast and parallel interval arithmetic
- INTBIS
- INTLIB
- intpakX
- MPFI
- SLDRIVER
- SLTSTPAK
- GNU Fortran
- VPI
- Numerical verification of solutions for nonlinear elliptic problems using an L^ residual method
- Heuristic rejection in interval global optimization
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- UEGO
- AMIGO
- Computational proofs of the existence of solutions to elasto-plastic torsion problems
- A rigorous ODE solver and Smale's 14th problem
- INTLAB
- b4m
- ICOS
- The probabilistic customer's choice rule with a threshold attraction value: effect on the location of competitive facilities in the plane
- Neweul
- A planar single-facility competitive location and design problem under the multi-deterministic choice rule
- RealPaver
- CFSQP
- INTOPT_90
- ValEncIA-IVP
- FADBAD++
- TADIFF
- MPSolve
- ALIAS
- An accelerated central cutting plane algorithm for linear semi-infinite programming
- gaol
- PNM
- Exact numerical methods in dynamical systems theory
- A numerical method to verify the elliptic eigenvalue problems including a uniqueness property
- filib++
- Proving the existence of long periodic orbits in 1D maps using interval Newton method and backward shooting
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
- Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
- Verified solution of large systems and global optimization problems
- A branch-and-bound algorithm for bound constrained optimization problems without derivatives
- Variable-precision, interval arithmetic coprocessors
- Software for high radix on-line arithmetic
- Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems
- Accurate solution of dense linear systems. II: Algorithms using directed rounding
- Computer assisted proof of chaos in the Lorenz equations
- Robust and efficient ray intersection of implicit surfaces
- Solution of a transcendental eigenvalue problem via interval analysis
- Cosy
- Test Set for IVP Solvers
- Improved interval methods for solving circle packing problems in the unit square
- ValEncIA
- Intsolver
- Godess
- INTPAK
- First order rejection tests for multiple-objective optimization
- Numerical verifications for eigenvalues of second-order elliptic operators
- MOBILE
- SmartMobile
- Intrinsic compiler support for interval arithmetic
- The GJK distance algorithm: an interval version for incremental motions
- VNODE
- IBEX
- AML++
- A branch and bound algorithm for quantified quadratic programming
- Constrained global optimization for wine blending
- SimpleScalar
- Global optimization of bounded factorable functions with discontinuities
- Solving kinematics problems by efficient interval partitioning
- An approach for solving competitive location problems with variable demand using multicore systems
- The 1-center problem in the plane with independent random weights
- Efficient interval partitioning-local search collaboration for constraint satisfaction
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm
- Use of an interval global optimization tool for exploring feasibility of batch extractive distillation
- Obtaining an outer approximation of the efficient set of nonlinear biobjective problems
- A reliable algorithm for computing the topological degree of a mapping in \(\mathbb R^{2}\)
- New interval methods for constrained global optimization
- A reliable area reduction technique for solving circle packing problems
- Computational experience with rigorous error bounds for the Netlib linear programming library
- Parameter reconstruction for biochemical networks using interval analysis
- Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities
- Phcmaple
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- On the computation of invariant sets for constrained nonlinear systems: an interval arithmetic approach
- scientific article; zbMATH DE number 1595639 (Why is no real title available?)
- Exclusion and inclusion regions for the eigenvalues of a normal matrix
- Global optimization based on contractor programming: an overview of the IBEX library
- Analysis of mechanical systems using interval computations applied to finite element methods
- Verification methods: rigorous results using floating-point arithmetic
- Dynamic global optimization methods for determining guaranteed solutions in chemical engineering
- Moore
- JInterval
This page was built for software: PROFIL/BIAS
