Numerical Software with Result Verification
From MaRDI portal
Publication:5308342
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
Recommendations
Packaged methods for numerical algorithms (65Y15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (27)
- On Newman polynomials which divide no Littlewood polynomial
- Optimal centers in branch-and-prune algorithms for univariate global optimization
- Computing enclosures for the inverse square root and the sign function of a matrix
- Testing interval arithmetic libraries, including their IEEE-1788 compliance
- 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
- Remarks on geometric properties of SQG sharp fronts and \(\alpha\)-patches
- Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
- Title not available (Why is that?)
- Computing enclosures for the matrix exponential
- A rigorous deterministic global optimization approach for the derivation of secondary information in digital maps
- Inconsistencies in numerical simulations of dynamical systems using interval arithmetic
- Computer-assisted proofs in PDE: a survey
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm
- Improved interval methods for solving circle packing problems in the unit square
- Title not available (Why is that?)
- C-XSC
- C-XSC 2.0
- Inner and outer bounds for the solution set of parametric linear systems
- The transmission process: a combinatorial stochastic process for the evolution of transmission trees over networks
- FloatX
- Transport Phenomena in Viscoplastic Materials
- Global dynamic optimization using edge-concave underestimator
- High performance verified computing using C-XSC
- High accuracy and interval arithmetic on multicore processors
- Global smooth solutions for the inviscid SQG equation
Uses Software
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)
