CADNA

swMATH98MaRDI QIDQ12868FDOQ12868

Author name not available (Why is that?)

Described by source

• Validation of results of collocation methods for ODEs with CADNA library
• CADNA: a library for estimating round-off error propagation

Cited In (45)

• A procedure with stepsize control for solving \(n\) one-dimensional IVPs
• Numerical verification of industrial numerical codes
• On the algebraic Properties of Stochastic Arithmetic. Comparison to Interval Arithmetic
• A reliable algorithm to check the accuracy of iterative schemes for solving nonlinear equations: an application of the CESTAC method
• Numerical Study of Algebraic Problems Using Stochastic Arithmetic
• Optimal iterate of the power and inverse iteration methods
• Numerical validation of compensated algorithms with stochastic arithmetic
• On the estimation of numerical error bounds in linear algebra based on discrete stochastic arithmetic
• The use of the stochastic arithmetic to estimate the value of interpolation polynomial with optimal degree
• Title not available (Why is that?)
• Stochastic arithmetic in multiprecision
• Numerical Software with Result Verification
• Title not available (Why is that?)
• The stable \(A^TA\)-orthogonal \(s\)-step orthomin\((k)\) algorithm with the CADNA library
• Title not available (Why is that?)
• Title not available (Why is that?)
• Valid implementation of sinc-collocation method to solve the fuzzy Fredholm integral equation
• Control of accuracy on Taylor-collocation method for load leveling problem
• Finding optimal convergence control parameter in the homotopy analysis method to solve integral equations based on the stochastic arithmetic
• Dynamical strategy on homotopy perturbation method for solving second kind integral equations using the CESTAC method
• Numerical implementation of the QMR algorithm by using discrete stochastic arithmetic
• Extension of optimal homotopy asymptotic method with use of Daftardar-Jeffery polynomials to coupled nonlinear-Korteweg-de-Vries system
• Title not available (Why is that?)
• Stochastic Rounding and Its Probabilistic Backward Error Analysis
• Numerical accuracy of a certain class of iterative methods for solving linear system
• Numerical validation of compensated summation algorithms with stochastic arithmetic
• A note on linear non-Newtonian Volterra integral equations
• The equality relations in scientific computing
• Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem
• Stepsize control for cubic spline interpolation
• Testing Stochastic Arithmetic and CESTAC Method Via Polynomial Computation
• TELEMAC: an efficient hydrodynamics suite for massively parallel architectures
• The use of CESTAC method to find optimal shape parameter and optimal number of points in RBF-meshless methods to solve differential equations
• Stochastic arithmetic: s-spaces and some applications
• First steps towards more numerical reproducibility
• Discrete stochastic arithmetic for validating results of numerical software
• Title not available (Why is that?)
• Stochastic Arithmetic as a Tool to Study the Stability of Biological Models
• Control of accuracy on Taylor-collocation method to solve the weakly regular Volterra integral equations of the first kind by using the CESTAC method
• Reliable computation of a multiple integral involved in the neutron star theory
• Stochastic arithmetic: Addition and multiplication by scalars
• The stable iterative algorithms with the CADNA library for solving sparse linear systems
• Valid implementation of the Sinc-collocation method to solve linear integral equations by the CADNA library
• The use of the CADNA library for validating the numerical results of the hybrid GMRES algorithm
• Iterative solutions of Hirota Satsuma coupled KdV and modified coupled KdV systems

This page was built for software: CADNA