{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q684249","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q684249","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q684249","kernelVersion":"v1","immutable":true,"modified":"2025-07-07T15:01:32Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q684249","name":"Scientific computing with automatic result verification","headline":"Scientific computing with automatic result verification","description":"scientific article; zbMATH DE number 410363","url":"https://portal.mardi4nfdi.de/entity/Q684249","datePublished":"1993-09-06","publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q343690"}],"comment":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Hammer, R.; Neaga, M.; Ratz, D.}, PASCAL-XSC. New concepts for scientific computation and numerical data processing, 15-44 [Zbl 0801.68021]  \\textit{Walter, Wolfgang V.}, ACRITH-XSC. A Fortran-like language for verified scientific computing, 45-70 [Zbl 0801.68019]  \\textit{Lawo, Christian}, C-XSC. A programming environment for verified scientific computing and numerical data processing, 71-86 [Zbl 0801.68020]  \\textit{Bohlender, G.; Cordes, D.; Knöfel, A.; Kulisch, U.; Lohner, R.; Walter, W. V.}, Proposal for accurate floating-point vector arithmetic, 87-102 [Zbl 0801.68090]  \\textit{Fischer, Hans-Christoph}, Automatic differentiation and applications, 105-142 [Zbl 0789.65011]  \\textit{Kelch, Rainer}, Numerical quadrature by extrapolation with automatic result verification, 143-185 [Zbl 0796.65016]  \\textit{Storck, Ulrike}, Numerical integration in two dimensions with automatic result verification, 187-224 [Zbl 0796.65017]  \\textit{Dobner, Hans-Jürgen}, Verified solution of integral equations with applications, 225-253 [Zbl 0793.65101]  \\textit{Klein, Wolfram}, Enclosure methods for linear and nonlinear systems of Fredholm integral equations of the second kind, 255-282 [Zbl 0789.65096]  \\textit{Rufeger, W.; Adams, E.}, A step size control for Lohner's enclosure algorithm for ordinary differential equations with initial conditions, 283-299 [Zbl 0789.65050]  \\textit{Lohner, Rudolf J.}, Interval arithmetic in staggered correction format, 301-321 [Zbl 0796.65066]  \\textit{Krämer, Walter}, Multiple-precision computations with result verification, 325-356 [Zbl 0805.65027]  \\textit{Gross, Beate}, Verification of asymptotic stability for interval matrices and applications in control theory, 357-395 [Zbl 0796.65084]  \\textit{Klein, Wera U.}, Numerical reliability of MHD flow calculations, 397-421 [Zbl 0792.76052]  \\textit{Adams, Ernst}, The reliability question for discretizations of evolution problems, 423-526 [Zbl 0793.65068]  \\textit{Schütz, R.; Winter, H.; Ehret, G.}, KKR bandstructure calculations, a challenge to numerical accuracy, 527-547 [Zbl 0787.65096]  \\textit{Knöfel, Andreas}, A hardware kernel for scientific/engineering computations, 549-570 [Zbl 0801.68009]  \\textit{Bohlender, Gerd}, Bibliography on enclosure methods and related topics, 571-608 [Zbl 0784.65039]"},"provenance":{"prov:generatedAtTime":"2025-07-07T15:01:32Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}