Pages that link to "Item:Q1340873"
From MaRDI portal
The following pages link to PROFIL/BIAS - A fast interval library (Q1340873):
Displayed 36 items.
- PROFIL/BIAS (Q13487) (← links)
- The design of the Boost interval arithmetic library (Q817867) (← links)
- Interval modeling of dynamics for multibody systems (Q861880) (← links)
- Solving a huff-like competitive location and design model for profit maximization in the plane (Q864047) (← links)
- Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation (Q875360) (← links)
- Planar location and design of a new facility with inner and outer competition: an interval lexicographical-like solution procedure (Q883194) (← links)
- Efficient interval partitioning for constrained global optimization (Q956597) (← links)
- Sequential versus simultaneous approach in the location and design of two new facilities using planar Huff-like models (Q960385) (← links)
- Symbolic interval inference approach for subdivision direction selection in interval partitioning algorithms (Q995933) (← links)
- A robust and efficient algorithm for planar competitive location problems (Q1026588) (← links)
- On the impact of spatial pattern, aggregation, and model parameters in planar Huff-type competitive location and design problems (Q1027999) (← links)
- Comparison of four software packages applied to a scattering problem (Q1300480) (← links)
- Heuristic rejection in interval global optimization (Q1407232) (← links)
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof. (Q1416464) (← links)
- Computational proofs of the existence of solutions to elasto-plastic torsion problems (Q1585831) (← links)
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid (Q1877193) (← links)
- Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation (Q1877202) (← links)
- Verified solution of large systems and global optimization problems (Q1900761) (← links)
- A branch-and-bound algorithm for bound constrained optimization problems without derivatives (Q1904655) (← links)
- Variable-precision, interval arithmetic coprocessors (Q1916973) (← links)
- Software for high radix on-line arithmetic (Q1916986) (← links)
- Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems (Q1919127) (← links)
- Solution of a transcendental eigenvalue problem via interval analysis (Q1972501) (← links)
- The 1-center problem in the plane with independent random weights (Q2456633) (← links)
- Efficient interval partitioning-local search collaboration for constraint satisfaction (Q2459380) (← links)
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm (Q2460123) (← links)
- Obtaining an outer approximation of the efficient set of nonlinear biobjective problems (Q2460136) (← links)
- New interval methods for constrained global optimization (Q2490338) (← links)
- Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919) (← links)
- On the computation of invariant sets for constrained nonlinear systems: an interval arithmetic approach (Q2576114) (← links)
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness (Q4265782) (← links)
- VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS (Q4787845) (← links)
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP (Q5302762) (← links)
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria (Q5689186) (← links)
- An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems (Q5929746) (← links)
- Computational error bounds for multiple or nearly multiple eigenvalues (Q5929752) (← links)