• MUMPS

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

• redbKIT

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

• MA57

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

• EnKF

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

• ACRITH-XSC

• Referenced in 49 articles [sw00015]
• need to perform an error analysis by hand for these calculations. For example, self-validating...

• na10

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

• Mercury

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

• MINUIT

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

• PARAEXP

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

• ESC/Java

• Referenced in 134 articles [sw07217]
• common run-time errors in JML-annotated Java programs by static analysis of the program...

• HyTech

• Referenced in 324 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...

• VanHuffel

• Referenced in 213 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...

• vars

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

• SURROGATES

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

• Chebpack

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

• Algorithm 838

• Referenced in 13 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 rule-based error analysis in case of nonsuccessful termination...

• GniCodes

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

• VECTOR_PADE

• Referenced in 7 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...

• ProB

• Referenced in 62 articles [sw07084]
• ProB: an automated analysis toolset for the B method. We present ProB, a validation toolset ... which can be used to detect various errors in B specifications. We describe the underlying...