Concrete 发表于 2025-3-23 12:41:26

http://reply.papertrans.cn/99/9803/980264/980264_11.png

ABASH 发表于 2025-3-23 17:07:58

http://reply.papertrans.cn/99/9803/980264/980264_12.png

贵族 发表于 2025-3-23 20:22:17

http://reply.papertrans.cn/99/9803/980264/980264_13.png

Scleroderma 发表于 2025-3-23 23:21:26

http://reply.papertrans.cn/99/9803/980264/980264_14.png

archetype 发表于 2025-3-24 03:53:49

http://reply.papertrans.cn/99/9803/980264/980264_15.png

MOT 发表于 2025-3-24 10:03:12

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.

会议 发表于 2025-3-24 11:49:49

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 发表于 2025-3-24 15:37:30

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

汇总 发表于 2025-3-24 19:46:31

,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

清楚说话 发表于 2025-3-25 02:40:49

http://reply.papertrans.cn/99/9803/980264/980264_20.png
页: 1 [2] 3 4 5 6 7
查看完整版本: Titlebook: Validation Numerics; Theory and Applicati R. Albrecht,G. Alefeld,H. J. Stetter Book 1993 Springer-Verlag/Wien 1993 Fortran.Matrix.algorithm