Titlebook: Inclusion Methods for Nonlinear Problems; With Applications in Jürgen Herzberger Conference proceedings 2003 Springer-Verlag/Wien 2003 algo

Condense

GEON

Algorithmic Differentiation with Intervals, construct algorithms for interval inclusions of derivatives. For “small” functions hand-coded formulas for derivatives and appropriate algorithms for interval inclusions are possible, but for “large” functions algorithmic methods have to be employed. In this lecture we screen the complexity of algo

Aqueous-Humor

Computation of a Family of Non-cosymmetrical Equilibria in a System of Nonlinear Parabolic Equation the finite-difference approach, we develop a numerical method for solving the partial differential equations and calculating the continuous family of non-cosymmetrical equilibria. An application of the proposed system to population kinetics is demonstrated. Numerically computed families are present

ACRID

沟通

On a Method for Computing Inclusions of Solutions of the Basic GPS Equations,unknowns . ∈ R. and . ∈ R, where ∥·∥. denotes the standard Euclidean norm on R. and . ∈ R and x. ∈ R., .1,...,4, are given..The aim of the paper is to present conditions for . and . 1,...4, guaranteeing existence and local uniqueness of solutions of (E) and to develop a method for computing inclusio

MILK

向前变椭圆

Lasting

Boundary Regularity Aspects in Solving Contact Problems,mate the contact zone. Each step contains the solution of a mixed problem of linear elasticity, whose behaviour is well understood. In particular square-root singularities occur in the collision points between regions with boundary conditions of different types, except for the correct partition incl

FRET

Convex-decomposable Operators and Inclusive Algorithms,osable operator. We will show that it is a rather large class of operators. For these operator equations, some monotone inclusive iterations are given. Under some usual assumptions, the iteration converges to the minimum and maximum solution..In this paper, we discuss some algorithm for solving a cl

不怕任性

Fast Inclusion and Residual Iteration for Solutions of Matrix Equations,ning very sharp verified error bound is proposed. The new verification method is based on combination of the rounding mode controlled double precision computation and the high precision computation. The method can also be used to improve numerical solutions by the residual iteration. Numerical resul