The following pages link to CADNA (Q12868):
Displaying 45 items.
- TELEMAC: an efficient hydrodynamics suite for massively parallel architectures (Q365551) (← links)
- On the estimation of numerical error bounds in linear algebra based on discrete stochastic arithmetic (Q413622) (← links)
- The use of the CADNA library for validating the numerical results of the hybrid GMRES algorithm (Q678894) (← links)
- A reliable algorithm to check the accuracy of iterative schemes for solving nonlinear equations: an application of the CESTAC method (Q827617) (← links)
- A procedure with stepsize control for solving \(n\) one-dimensional IVPs (Q955284) (← links)
- Optimal iterate of the power and inverse iteration methods (Q1021623) (← links)
- The stable \(A^TA\)-orthogonal \(s\)-step orthomin\((k)\) algorithm with the CADNA library (Q1127056) (← links)
- The equality relations in scientific computing (Q1334226) (← links)
- Iterative solutions of Hirota Satsuma coupled KdV and modified coupled KdV systems (Q1721604) (← links)
- Numerical implementation of the QMR algorithm by using discrete stochastic arithmetic (Q1767402) (← links)
- Stepsize control for cubic spline interpolation (Q1788240) (← links)
- The use of the stochastic arithmetic to estimate the value of interpolation polynomial with optimal degree (Q1878383) (← links)
- Stochastic arithmetic: Addition and multiplication by scalars (Q1878393) (← links)
- Stochastic arithmetic in multiprecision (Q1949764) (← links)
- Dynamical strategy on homotopy perturbation method for solving second kind integral equations using the CESTAC method (Q2141558) (← links)
- Extension of optimal homotopy asymptotic method with use of Daftardar-Jeffery polynomials to coupled nonlinear-Korteweg-de-Vries system (Q2175993) (← links)
- Valid implementation of sinc-collocation method to solve the fuzzy Fredholm integral equation (Q2297078) (← links)
- Control of accuracy on Taylor-collocation method for load leveling problem (Q2306838) (← links)
- Numerical validation of compensated algorithms with stochastic arithmetic (Q2318228) (← links)
- Stochastic arithmetic: s-spaces and some applications (Q2387774) (← links)
- Discrete stochastic arithmetic for validating results of numerical software (Q2387785) (← links)
- Finding optimal convergence control parameter in the homotopy analysis method to solve integral equations based on the stochastic arithmetic (Q2414706) (← links)
- Reliable computation of a multiple integral involved in the neutron star theory (Q2489555) (← links)
- Numerical accuracy of a certain class of iterative methods for solving linear system (Q2496008) (← links)
- Numerical validation of compensated summation algorithms with stochastic arithmetic (Q2520678) (← links)
- Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem (Q2660610) (← links)
- A note on linear non-Newtonian Volterra integral equations (Q2690420) (← links)
- Numerical Verification of Industrial Numerical Codes (Q2880183) (← links)
- (Q2960648) (← links)
- (Q3141422) (← links)
- First steps towards more numerical reproducibility (Q3465860) (← links)
- (Q3499963) (← links)
- Numerical Study of Algebraic Problems Using Stochastic Arithmetic (Q3616811) (← links)
- (Q4520288) (← links)
- (Q4520728) (← links)
- On the algebraic Properties of Stochastic Arithmetic. Comparison to Interval Arithmetic (Q4577128) (← links)
- (Q4874409) (← links)
- (Q4885356) (← links)
- The use of CESTAC method to find optimal shape parameter and optimal number of points in RBF-meshless methods to solve differential equations (Q4993650) (← links)
- Control of accuracy on Taylor-collocation method to solve the weakly regular Volterra integral equations of the first kind by using the CESTAC method (Q5131252) (← links)
- Valid implementation of the Sinc-collocation method to solve linear integral equations by the CADNA library (Q5229390) (← links)
- Numerical Software with Result Verification (Q5308343) (← links)
- Testing Stochastic Arithmetic and CESTAC Method Via Polynomial Computation (Q5432260) (← links)
- Stochastic Arithmetic as a Tool to Study the Stability of Biological Models (Q5738287) (← links)
- Stochastic Rounding and Its Probabilistic Backward Error Analysis (Q5857625) (← links)
