
MA57
 Referenced in 54 articles
[sw00536]
 hand sides, and iterative refinement and error analysis. The code is written in Fortran...

MUMPS
 Referenced in 46 articles
[sw04013]
 also available); Iterative refinement and backward error analysis; Various matrix input formats assembled format; distributed...

ACRITHXSC
 Referenced in 42 articles
[sw00015]
 need to perform an error analysis by hand for these calculations. For example, selfvalidating...

na10
 Referenced in 41 articles
[sw11511]
 based on a rigorous backward rounding error analysis, guarantees that the computed approximations...

EnKF
 Referenced in 195 articles
[sw02066]
 predict the error statistics forward in time, and it uses an analysis scheme which operates...

Mercury
 Referenced in 54 articles
[sw08333]
 declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm...

redbKIT
 Referenced in 28 articles
[sw12977]
 both a priori and a posteriori error analysis. Reduced basis methods for partial differential equations...

MINUIT
 Referenced in 24 articles
[sw19409]
 MINUIT is a physics analysis tool for function minimization. The functions (socalled objective functions ... minimizing a function and for special error analysis. MINUIT was initially written in Fortran about...

ESC/Java
 Referenced in 120 articles
[sw07217]
 common runtime errors in JMLannotated Java programs by static analysis of the program...

HyTech
 Referenced in 272 articles
[sw04125]
 HyTech is an automatic tool for the analysis of embedded systems. HyTech computes the condition ... verification fails, then HyTech generates a diagnostic error trace. The standard reference to the HyTech...

SURROGATES
 Referenced in 13 articles
[sw07575]
 neural network, and support vector regression. Analysis of error and cross validation: leave ... fold crossvalidation, and classical error analysis (coefficient of determination, standard error; root mean square ... error; and others). Surrogatebased optimization: efficient global optimization (EGO) algorithm. Other capabilities: global sensitivity ... analysis and conservative surrogates via safety margin...

VanHuffel
 Referenced in 174 articles
[sw05243]
 total least squares problem: computational aspects and analysis. Total least squares ... have been devised to compensate for data errors. It is also known as the errors...

Algorithm 838
 Referenced in 10 articles
[sw04464]
 precision, and amenable to rigorous error analysis. The module can be used to validate other...

EMP
 Referenced in 8 articles
[sw01086]
 perform a rulebased error analysis in case of nonsuccessful termination...

PARAEXP
 Referenced in 7 articles
[sw07168]
 homogeneous subproblems. We present an error analysis and discuss the parallel scaling of our algorithm...

GniCodes
 Referenced in 7 articles
[sw21086]
 with the help of a backward error analysis (Section 3). We explain some implications...

vars
 Referenced in 11 articles
[sw04507]
 selection, diagnostic testing, forecasting, causality analysis, forecast error variance decomposition and impulse response functions...

VECTOR_PADE
 Referenced in 6 articles
[sw04679]
 their work is a detailed error analysis showing that the algorithm is weakly stable ... experiments. These experiments show that the theoretical error bounds obtained by Cabay, Jones, and Labahn...

Chebpack
 Referenced in 6 articles
[sw09244]
 results are accompanied by an error analysis. Numerical examples, calculated by our Matlab package Chebpack...

FLATA
 Referenced in 14 articles
[sw04142]
 programs  checking if an error control state is reachable termination analysis of nonrecursive programs...