Discrete stochastic arithmetic for validating results of numerical software
From MaRDI portal
Publication:2387785
Recommendations
- Numerical validation of compensated algorithms with stochastic arithmetic
- Numerical validation of compensated summation algorithms with stochastic arithmetic
- Stochastic arithmetic in multiprecision
- Arithmetic simulation of stochastic processes
- Testing Stochastic Arithmetic and CESTAC Method Via Polynomial Computation
- Numerical Software with Result Verification
- Numerical Study of Algebraic Problems Using Stochastic Arithmetic
- scientific article; zbMATH DE number 869745
Cited in
(20)- Optimal iterate of the power and inverse iteration methods
- A software tool for automatically verified operations on intervals and probability distributions
- Stepsize control for cubic spline interpolation
- Dynamical strategy on homotopy perturbation method for solving second kind integral equations using the CESTAC method
- Valid implementation of sinc-collocation method to solve the fuzzy Fredholm integral equation
- Numerical validation of compensated algorithms with stochastic arithmetic
- Hardware implementation of discrete stochastic arithmetic
- Reliable computation of a multiple integral involved in the neutron star theory
- Numerical validation of compensated summation algorithms with stochastic arithmetic
- On the estimation of numerical error bounds in linear algebra based on discrete stochastic arithmetic
- The use of CESTAC method to find optimal shape parameter and optimal number of points in RBF-meshless methods to solve differential equations
- Stochastic rounding and its probabilistic backward error analysis
- Probabilistic error analysis of limited-precision stochastic rounding
- Stochastic rounding implicitly regularizes tall-and-thin matrices
- CADNA: a library for estimating round-off error propagation
- Automated Numerical Stability Analysis of Deep Learning Operators
- Stepsize control for the Runge-Kutta-Fehlberg method using the discrete stochastic arithmetic to solve initial value problems
- 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
- A procedure with stepsize control for solving \(n\) one-dimensional IVPs
This page was built for publication: Discrete stochastic arithmetic for validating results of numerical software
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2387785)
