Titlebook: Validation Numerics; Theory and Applicati R. Albrecht,G. Alefeld,H. J. Stetter Book 1993 Springer-Verlag/Wien 1993 Fortran.Matrix.algorithm

Concrete

ABASH

貴族

Scleroderma

archetype

MOT

A Verified Computation of Fourier-Representations of Solutions for Functional Equations,such so-called . the spectrum of a function can be included with arbitrary accuracy. This calculus can be used for example to solve periodical differential and integral equations. An example shows the computed inclusion of the spectrum of a solution.

會(huì)議

The Cluster Problem in Global Optimization: the Univariate Case,nds obtained with interval arithmetic, along with the “midpoint test,” but no acceleration procedures. Unless the lower bound is exact, the algorithm without acceleration procedures in general gives an undesirable Cluster of intervals around each minimizer. In this article, we analyze this problem i

Terminal

Developing Expert Systems for Validating Numerics,there are more than one mathematically equivalent self-validating methods with completely different behavior on a Computer. Therefore only a quantitative valuation of the available software modules rather than qualitative can lead to a satisfactory result. First the design of a shell suitable for th

匯總

,Computation of Interval Bounds for Weierstrass’ Elliptic Function ?(,),s of the characteristic polynomial (arbitrary period lattices) is presented. The function is approximated by its truncated Laurent series at zero. An error bound is derived for the remainder term. If necessary, the periodicity of ?, the homogeneity relations and the addition formulas are used to per

清楚說(shuō)話