zbMath0796.65001MaRDI QIDQ4277813
Matthias Hocks, Ulrich Kulisch, Rolf Hammer, Dietmar Ratz
Publication date: 10 January 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Best possible componentwise parameter inclusions computable from a priori estimates, measurements, and bounds for the measurement errors,
Representation of analysis results involving aleatory and epistemic uncertainty,
Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method,
A second-order pruning step for verified global optimization,
Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects,
A combined method for enclosing all solutions of nonlinear systems of polynomial equations,
On the selection of subdivision directions in interval branch-and-bound methods for global optimization,
Algorithms for unconstrained global optimization of nonlinear (polynomial) programming problems: the single and multi-segment polynomial B-spline approach,
Interval methods for verifying structural optimality of circle packing configurations in the unit square,
Chaotic quantum behaved particle swarm optimization algorithm for solving nonlinear system of equations,
Errors in vector processing and the library libavi.a,
A sufficient condition for non-overestimation in interval arithmetic,
Parallelized implicit propagators for the finite-difference Schrödinger equation,
Ordering events: Intervals are sufficient, more general sets are usually not necessary,
Interval Methods for Global Optimization Using the Boxing Method,
On interval predictor-corrector methods,
An interval maximum entropy method for a discrete minimax problem,
Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers,
High performance verified computing using C-XSC,
Interval versions of Milne's multistep methods,
\textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton},
Bivariate product cubature using peano kernels for local error estimates,
New Accurate Expressions in C-XSC,
Interval versions of central-difference method for solving the Poisson equation in proper and directed interval arithmetic,
Interval versions for special kinds of explicit linear multistep methods,
Extended interval Newton method based on the precise quotient set,
On first zero crossing points.,
Use of an interval global optimization tool for exploring feasibility of batch extractive distillation,
A new hybrid algorithm based on chaotic maps for solving systems of nonlinear equations,
Efficient strategy for adaptive partition of N-dimensional intervals in the framework of diagonal algorithms,
On the properties of Sard kernels and multiple error estimates for bounded linear functionals of bivariate functions with application to non-product cubature,
A verified inexact implicit Runge-Kutta method for nonsmooth ODEs,
Fitting psychometric models with methods based on automatic differentiation,
Zones and integrals,
A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam,
Solving interval linear least squares problems by PPS-methods,
Symbolic interval inference approach for subdivision direction selection in interval partitioning algorithms,
Verified computed Peano constants and applications in numerical quadrature,
Enclosing Chebyshev Expansions in Linear Time,
Improved lower bounds for semi-online bin packing problems,
A gentle introduction to Numerica,
An efficient algorithm for range computation of polynomials using the Bernstein form,
Interval enclosures for a certain class of multiple integrals,
Functional programming framework for \textit{GRworkbench},
Interval analysis: Theory and applications,
Verified construction of fully symmetric cubature formulae of degree 4k‐1 with few nodes for fully symmetric planar regions using invariant theory,
Interval mathematics, algebraic equations and optimization,
On bounding zeros of analytic functions,
Reliable computation of eigenvalues of the magnetostatic integral operator,
Creating and handling box valued functions used in numerical methods,
Verifying the existence of a zero for all elements of a function set,
A realistic (non-associative) logic and a possible explanations of \(7\pm 2\) law,
An integrative approach for analysis of nonlinear electrical circuits using-polynomial B-spline expansion and B-spline Krawczyk operator
