Arb853 发表于 2025-3-30 12:14:32

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

具体 发表于 2025-3-30 14:50:51

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-30 18:38:53

Validated Solution of Large Linear Systems,pically of sparse or band structure. There are no prerequisites for the matrix, such as being M-matrix, Symmetric, positive definite or diagonally dominant. For general band matrices of lower, Upper bandwidth ., q of dimension n the Computing time is n · (. + .. + ..). Examples with up to 1.000.000 unknowns will be presented.

撤退 发表于 2025-3-31 00:12:02

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

hypertension 发表于 2025-3-31 03:41:34

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

Iniquitous 发表于 2025-3-31 06:56:24

Validation Numerics978-3-7091-6918-6Series ISSN 0344-8029

否决 发表于 2025-3-31 09:36:22

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

Adulate 发表于 2025-3-31 14:39:57

tmasse beitragen, deren Gesamtenergie jedoch von großer Bedeutung für die Diskussion der Struktur des interstellaren Mediums ist, wie wir in Kapitel 6 sehen werden. Schließlich ist das galaktische Gas durchdrungen von einem ., das um seiner selbst willen schon wichtig ist, aber auch, weil es zur Aus

高调 发表于 2025-3-31 18:21:06

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

TOXIC 发表于 2025-4-1 00:17:57

http://reply.papertrans.cn/99/9803/980264/980264_60.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