eulogize 发表于 2025-3-26 22:57:37

http://reply.papertrans.cn/67/6693/669236/669236_31.png

大厅 发表于 2025-3-27 03:49:10

Evaluation of Polynomials as to be practically useless. Roundoff and cancellation errors are especially dangerous if we are evaluating a function close to a root, as we will see in Chapter 9 when we compute verified enclosures of zeros of polynomials.

foliage 发表于 2025-3-27 05:33:59

Global Optimizationle, so valleys, no matter how narrow, are recognized with certainty. Further, interval techniques often can reject large regions in which the optimum can be guaranteed not to lie, so they can be faster overall than classical methods for many problems.

为现场 发表于 2025-3-27 12:02:24

http://reply.papertrans.cn/67/6693/669236/669236_34.png

Distribution 发表于 2025-3-27 16:27:21

Automatic Differentiation for Gradients, Jacobians, and Hessiansomputation of numerical values, combining the advantages of symbolic and numerical differentiation. Only the algorithm or formula for the function is required. No explicit formulas for the gradient, Jacobian, or Hessian have to be derived and coded.

wall-stress 发表于 2025-3-27 21:09:25

Nonlinear Systems of Equations and it delivers information about existence and uniqueness of the computed solutions. The method we present is a variant of the . based on the method of Hansen and Sengupta , , and a modification of Ratz . Our method makes use of the extended interval operations defined in Section 3.3.

娴熟 发表于 2025-3-27 22:39:15

http://reply.papertrans.cn/67/6693/669236/669236_37.png

玩忽职守 发表于 2025-3-28 04:18:56

Book 1993erical problems with a verification of the results. We use the features of the scientific computer language PASCAL-XSC to offer modules that can be combined by the reader to his/her individual needs. Our overriding concern is reliability - the automatic verification of the result a computer returns

小卷发 发表于 2025-3-28 06:54:40

http://reply.papertrans.cn/67/6693/669236/669236_39.png

d-limonene 发表于 2025-3-28 13:32:42

http://reply.papertrans.cn/67/6693/669236/669236_40.png
页: 1 2 3 [4] 5 6
查看完整版本: Titlebook: Numerical Toolbox for Verified Computing I; Basic Numerical Prob Ulrich Kulisch,Rolf Hammer,Matthias Hocks Book 1993 Springer-Verlag Berlin