scientific article; zbMATH DE number 761488

Ulrich Kulisch, Dietmar Ratz, Rolf Hammer, Matthias Hocks

Publication date: 8 June 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (55)

Computing the noncentral-\(F\) distribution and the power of the \(F\)-test with guaranteed accuracy ⋮ Algorithmic differentiation techniques for global optimization in the COCONUT environment ⋮ Toward a definition and understanding of correlation for variables constrained by random relations ⋮ A modification of the \(\alpha \mathrm{BB}\) method for box-constrained optimization and an application to inverse kinematics ⋮ Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations ⋮ AN IMPROVED LOWER BOUND ON THE NUMBER OF LIMIT CYCLES BIFURCATING FROM A QUINTIC HAMILTONIAN PLANAR VECTOR FIELD UNDER QUINTIC PERTURBATION ⋮ Location equilibria for a continuous competitive facility location problem under delivered pricing ⋮ Approximating the Pareto-front of a planar bi-objective competitive facility location and design problem ⋮ A planar single-facility competitive location and design problem under the multi-deterministic choice rule ⋮ Inner and outer bounds for the solution set of parametric linear systems ⋮ Empirical convergence speed of inclusion functions for facility location problems ⋮ Two acceleration mechanisms in verified global optimization ⋮ Solving a huff-like competitive location and design model for profit maximization in the plane ⋮ Interval Methods for Global Optimization Using the Boxing Method ⋮ A Branch-and-Prune Method for Global Optimization ⋮ High accuracy and interval arithmetic on multicore processors ⋮ Planar location and design of a new facility with inner and outer competition: an interval lexicographical-like solution procedure ⋮ Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions ⋮ On some Volterra and Fredholm problems via the unified integrodifferential quadrature method ⋮ Multiple/arbitrary precision interval computations in C-XSC ⋮ Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard ⋮ Heuristic rejection in interval global optimization ⋮ Locating and Counting Equilibria of the Kuramoto Model with Rank-One Coupling ⋮ Obtaining the efficient set of nonlinear biobjective optimization problems via interval branch-and-bound methods ⋮ A note on the convergence of parametrised non-resonant invariant manifolds ⋮ Extended interval Newton method based on the precise quotient set ⋮ An approach for solving competitive location problems with variable demand using multicore systems ⋮ Bound constrained interval global optimization in the COCONUT environment ⋮ The 1-center problem in the plane with independent random weights ⋮ Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm ⋮ Obtaining an outer approximation of the efficient set of nonlinear biobjective problems ⋮ Dense linear system: A parallel self-verified solver ⋮ SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems ⋮ A new hybrid genetic algorithm for global optimization ⋮ Sequential versus simultaneous approach in the location and design of two new facilities using planar Huff-like models ⋮ Interval constraint propagation with application to bounded-error estimation ⋮ Interval arithmetic yields efficient dynamic filters for computational geometry ⋮ AN IMPROVED LOWER BOUND ON THE NUMBER OF LIMIT CYCLES BIFURCATING FROM A HAMILTONIAN PLANAR VECTOR FIELD OF DEGREE 7 ⋮ New interval methods for constrained global optimization ⋮ A generalized integral quadratic method. I: An efficient solution for one-dimensional Volterra integral equation ⋮ Precise numerical computation ⋮ Mathematically rigorous global optimization in floating-point arithmetic ⋮ Logcf: an efficient tool for real root isolation ⋮ The Impact of Data Distribution in Accuracy and Performance of Parallel Linear Algebra Subroutines ⋮ Solving Dense Interval Linear Systems with Verified Computing on Multicore Architectures ⋮ Enclosing all zeros of an analytic function - a rigorous approach ⋮ 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 ⋮ Bounding the zeros of an interval equation ⋮ How do you compute the midpoint of an interval? ⋮ Calculating uncertainty intervals in approximate equation systems ⋮ Optimal centers in branch-and-prune algorithms for univariate global optimization ⋮ Empirical investigation of the convergence speed of inclusion functions in a global otimization context ⋮ A new inclusion function for optimization: kite -- the one-dimensional case ⋮ Efficient task scheduling in the parallel result-verifying solution of nonlinear systems

Uses Software

This page was built for publication: