PROFIL/BIAS
From MaRDI portal
swMATH733MaRDI QIDQ13487FDOQ13487
Author name not available (Why is that?)
Official website: http://www.ti3.tu-harburg.de/keil/profil/index_e.html
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- The 1-center problem in the plane with independent random weights
- A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Competitive facility location and design with reactions of competitors already in the market
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- ICOS: a branch and bound based solver for rigorous global optimization
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- 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
- Approximating the Pareto-front of a planar bi-objective competitive facility location and design problem
- An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum
- Heuristic rejection in interval global optimization
- Numerical Software with Result Verification
- Obtaining the efficient set of nonlinear biobjective optimization problems via interval branch-and-bound methods
- A branch-and-bound algorithm for bound constrained optimization problems without derivatives
- Title not available (Why is that?)
- New approaches to circle packing in a square. With program codes.
- Computer arithmetic and validity. Theory, implementation, and applications
- Solving a huff-like competitive location and design model for profit maximization in the plane
- 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
- Computational error bounds for multiple or nearly multiple eigenvalues
- Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems
- Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
- Efficient interval partitioning for constrained global optimization
- Improved lower bounds for semi-online bin packing problems
- ACRITH-XSC
- C-XSC
- C-XSC 2.0
- INTBIS
- INTLIB
- intpakX
- MPFI
- SLDRIVER
- GNU Fortran
- SLTSTPAK
- VPI
- AMIGO
- Fast and parallel interval arithmetic
- UEGO
- b4m
- INTLAB
- ICOS
- Neweul
- RealPaver
- CFSQP
- INTOPT_90
- FADBAD++
- ALIAS
- ValEncIA-IVP
- TADIFF
- MPSolve
- gaol
- PNM
- filib++
- Cosy
- Intsolver
- Test Set for IVP Solvers
- Godess
- ValEncIA
- INTPAK
- MOBILE
- SmartMobile
- AML++
- IBEX
- SimpleScalar
- VNODE
- Phcmaple
- Contractor programming
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
- Location equilibria for a continuous competitive facility location problem under delivered pricing
- JInterval
- Moore
- PASCAL-XSC
- Numerica
- CADAC
- Numerical Software with Result Verification
- FI_LIB
- Libaffa
- Title not available (Why is that?)
- Sequential versus simultaneous approach in the location and design of two new facilities using planar Huff-like models
- Title not available (Why is that?)
- A remarkable example of catastrophic cancellation unraveled
- The design of the Boost interval arithmetic library
- Planar location and design of a new facility with inner and outer competition: an interval lexicographical-like solution procedure
- Verification methods: rigorous results using floating-point arithmetic
- A robust and efficient algorithm for planar competitive location problems
- Rigorous Error Bounds for the Optimal Value in Semidefinite Programming
- Computer assisted proof of chaos in the Lorenz equations
- Obtaining an outer approximation of the efficient set of nonlinear biobjective problems
- A rigorous ODE solver and Smale's 14th problem
- Global optimization based on contractor programming: an overview of the IBEX library
- New interval methods for constrained global optimization
- Interval arithmetic based optimization in nonlinear regression
- Global optimization of bounded factorable functions with discontinuities
- Symbolic interval inference approach for subdivision direction selection in interval partitioning algorithms
- Solving a Huff-like Stackelberg location problem on networks
- A branch and bound algorithm for quantified quadratic programming
This page was built for software: PROFIL/BIAS
