PROFIL/BIAS

swMATH733MaRDI QIDQ13487FDOQ13487

Author name not available (Why is that?)

Described by source

• PROFIL/BIAS - A fast interval library
• Unnamed Publication

Cited In (only showing first 100 items - show all)

• Title not available (Why is that?)
• A branch and bound algorithm for quantified quadratic programming
• The 1-center problem in the plane with independent random weights
• Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
• A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation
• Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
• On the computation of invariant sets for constrained nonlinear systems: an interval arithmetic approach
• Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Verified solution of large systems and global optimization problems
• Global Optimization Based on Contractor Programming: An Overview of the IBEX Library
• Competitive facility location and design with reactions of competitors already in the market
• An accelerated central cutting plane algorithm for linear semi-infinite programming
• Motivations for an arbitrary precision interval arithmetic and the MPFI library
• Interval methods for verifying structural optimality of circle packing configurations in the unit square
• 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
• Parameter reconstruction for biochemical networks using interval analysis
• 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
• Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems
• An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum
• Heuristic rejection in interval global optimization
• Self-validated Computations for the Probabilities of the Central Bivariate Chi-square Distribution and a BivariateFDistribution. This work partially supported by National Science Foundation grant DMS-9500831
• Numerical Software with Result Verification
• A numerical method to verify the elliptic eigenvalue problems including a uniqueness property
• Exact numerical methods in dynamical systems theory
• 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
• Fast interval matrix multiplication
• Title not available (Why is that?)
• Analysis of mechanical systems using interval computations applied to finite element methods
• New approaches to circle packing in a square. With program codes.
• Computer arithmetic and validity. Theory, implementation, and applications
• How do you compute the midpoint of an interval?
• A Collaborative Solution Methodology for Inverse Position Problem
• Solving a huff-like competitive location and design model for profit maximization in the plane
• A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
• 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
• Fast and parallel interval arithmetic
• Use of an interval global optimization tool for exploring feasibility of batch extractive distillation
• The GJK distance algorithm: an interval version for incremental motions
• 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
• A filtering method for the interval eigenvalue problem
• Numerical Software with Result Verification
• A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
• Determination of inner and outer bounds of reachable sets through subpavings
• Title not available (Why is that?)
• A Comparison of some Methods for Solving Linear Interval Equations
• Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering
• 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
• Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
• Planar location and design of a new facility with inner and outer competition: an interval lexicographical-like solution procedure
• Exclusion and inclusion regions for the eigenvalues of a normal matrix
• VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS
• A reliable algorithm for computing the topological degree of a mapping in \(\mathbb R^{2}\)
• 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
• Characterizing and approximating eigenvalue sets of symmetric interval matrices
• A reliable area reduction technique for solving circle packing problems
• A rigorous ODE solver and Smale's 14th problem
• Computational experience with rigorous error bounds for the Netlib linear programming library
• Global optimization of generalized semi-infinite programs using disjunctive programming
• New interval methods for constrained global optimization
• Guaranteed Set Computation with Subpavings
• Title not available (Why is that?)
• Global optimization of bounded factorable functions with discontinuities
• Symbolic interval inference approach for subdivision direction selection in interval partitioning algorithms
• Verifizierte Fehlerschranken und Gleichungssysteme
• Solving a Huff-like Stackelberg location problem on networks
• Title not available (Why is that?)
• Solving kinematics problems by efficient interval partitioning
• Numerical Software with Result Verification
• Title not available (Why is that?)
• An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
• Numerical Software with Result Verification
• The probabilistic customer's choice rule with a threshold attraction value: effect on the location of competitive facilities in the plane
• Efficient interval partitioning-local search collaboration for constraint satisfaction
• SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems
• Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
• Interval modeling of dynamics for multibody systems
• Towards a computer-assisted proof for chaos in a forced damped pendulum equation

This page was built for software: PROFIL/BIAS