Discrete stochastic arithmetic for validating results of numerical software
From MaRDI portal
Publication:2387785
DOI10.1023/B:NUMA.0000049483.75679.cezbMath1074.65055OpenAlexW2011100413MaRDI QIDQ2387785
Publication date: 5 September 2005
Published in: Numerical Algorithms (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:numa.0000049483.75679.ce
numerical examplesdiscrete stochastic arithmeticround-off error propagationcestac methodCADNA softwarenumerical software validationprosolver software
Related Items
Finding optimal results in the homotopy analysis method to solve fuzzy integral equations ⋮ A reliable algorithm to check the accuracy of iterative schemes for solving nonlinear equations: an application of the CESTAC method ⋮ Dynamical strategy on homotopy perturbation method for solving second kind integral equations using the CESTAC method ⋮ The use of CESTAC method to find optimal shape parameter and optimal number of points in RBF-meshless methods to solve differential equations ⋮ On the estimation of numerical error bounds in linear algebra based on discrete stochastic arithmetic ⋮ A procedure with stepsize control for solving \(n\) one-dimensional IVPs ⋮ Reliable computation of a multiple integral involved in the neutron star theory ⋮ CADNA: a library for estimating round-off error propagation ⋮ Stepsize control for cubic spline interpolation ⋮ Numerical validation of compensated summation algorithms with stochastic arithmetic ⋮ Valid implementation of sinc-collocation method to solve the fuzzy Fredholm integral equation ⋮ Optimal iterate of the power and inverse iteration methods ⋮ Numerical validation of compensated algorithms with stochastic arithmetic ⋮ Stochastic Rounding and Its Probabilistic Backward Error Analysis
Uses Software
This page was built for publication: Discrete stochastic arithmetic for validating results of numerical software