New methods for evaluating the validity of the results of mathematical computations

From MaRDI portal
Publication:1141462

DOI10.1016/0378-4754(78)90016-2zbMath0437.65041OpenAlexW2089961863MaRDI QIDQ1141462

Jean Vignes

Publication date: 1978

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0378-4754(78)90016-2




Related Items

A reliable algorithm to check the accuracy of iterative schemes for solving nonlinear equations: an application of the CESTAC methodThe equality relations in scientific computingStochastic approach of the permutation-perturbation method for round-off error analysisComputing roots of polynomials on vector processing machinesBreakdown and near-breakdown control in the CGS algorithm using stochastic arithmeticReview on stochastic approach to round-off error analysis and its applicationsFloating-point error propagation in iterative methodsSturm sequences and the number of zeros of a real polynomial in the unit disk: Numerical computationAll possible computed results in correct floating-point summationNumerical accuracy control in fixed-point arithmeticData error analysis in unconstrained optimization problems with the CESTAC methodA variant of the CESTAC method and its application to constrained optimizationPractical methods for evaluating the accuracy of the eigenelements of a symmetric matrixValidation of results of collocation methods for ODEs with CADNA libraryA software for evaluating local accuracy in the Fourier transformA novel numerical optimality technique to find the optimal results of Volterra integral equation of the second kind with discontinuous kernelFinding an optimal partition for a numerical integration using the trapezoidal ruleDétermination d'un pas optimum d'intégration pour la méthode de SimpsonNumerical estimation of the first order derivative: Approximate evaluation of an optimal stepApplied computational geometry: Towards robust solutions of basic problemsLinear and non-linear programming software validityStabilizing Bairstow's methodThe use of the CADNA library for validating the numerical results of the hybrid GMRES algorithmA procedure with stepsize control for solving \(n\) one-dimensional IVPsNumerical implementation of the QMR algorithm by using discrete stochastic arithmeticExperiments on the evaluation of functional ranges using a random interval arithmeticNumerical accuracy of a certain class of iterative methods for solving linear systemStepsize control for cubic spline interpolationA Schur's modified sequence and the number of zeros of a real polynomial in the unit disk: Testing its numerical qualityOptimal iterate of the power and inverse iteration methodsComparison of four software packages applied to a scattering problemStochastic Rounding and Its Probabilistic Backward Error AnalysisAn efficient implementation of optimization algorithms



Cites Work