Numerical Software with Result Verification

DOI10.1007/B96498zbMATH Open1126.65328OpenAlexW203078251MaRDI QIDQ5308342FDOQ5308342

Authors Werner Hofschuster, Walter Krämer

Publication date 28 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b96498

Mathematics Subject Classification ID

Packaged methods for numerical algorithms (65Y15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 226866
• scientific article; zbMATH DE number 1849977
• scientific article; zbMATH DE number 58446
• scientific article; zbMATH DE number 1661700
• Numerical recipes in C++. The art of scientific computing

Cited in

(27)

• Inconsistencies in numerical simulations of dynamical systems using interval arithmetic
• Optimal centers in branch-and-prune algorithms for univariate global optimization
• Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
• Global smooth solutions for the inviscid SQG equation
• Global dynamic optimization using edge-concave underestimator
• A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
• Multiple/arbitrary precision interval computations in C-XSC
• Solvers for the verified solution of parametric linear systems
• Computing enclosures for the inverse square root and the sign function of a matrix
• FloatX
• Transport Phenomena in Viscoplastic Materials
• Computing enclosures for the matrix exponential
• scientific article; zbMATH DE number 58446 (Why is no real title available?)
• High performance verified computing using C-XSC
• High accuracy and interval arithmetic on multicore processors
• Remarks on geometric properties of SQG sharp fronts and \(\alpha\)-patches
• C-XSC
• C-XSC 2.0
• scientific article; zbMATH DE number 524111 (Why is no real title available?)
• Improved interval methods for solving circle packing problems in the unit square
• Testing interval arithmetic libraries, including their IEEE-1788 compliance
• Inner and outer bounds for the solution set of parametric linear systems
• On Newman polynomials which divide no Littlewood polynomial
• Computer-assisted proofs in PDE: a survey
• Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm
• The transmission process: a combinatorial stochastic process for the evolution of transmission trees over networks
• A rigorous deterministic global optimization approach for the derivation of secondary information in digital maps

Describes a project that uses

Uses Software

• INTLAB

This page was built for publication: Numerical Software with Result Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5308342)