• FEniCS

• Referenced in 829 articles [sw04314]
• automated solution of variational problems, automated error control and adaptivity, a comprehensive library of finite...

• ALBERTA

• Referenced in 179 articles [sw01061]
• element toolbox using Bisectioning refinement and Error control by Residual Techniques for scientific Applications. ALBERTA...

• mfem

• Referenced in 50 articles [sw22316]
• Raviart-Thomas MFEM with a posteriori error control. The numerical approximation of the Laplace equation ... education and research. A posteriori error control with a reliable and efficient averaging technique...

• Arb

• Referenced in 51 articles [sw07822]
• complex numbers, with automatic, rigorous error control...

• pde2path

• Referenced in 43 articles [sw08571]
• parallel computing version. Stability calculations, error control and mesh-handling, and some elementary time-integration...

• MIRKDC

• Referenced in 36 articles [sw07159]
• control instead of the standard global error control, mesh selection). Extensive numerical tests with...

• SPRINT2D

• Referenced in 25 articles [sw00904]
• unstructured triangular meshes and adaptive local error control in both space and time. The class...

• PETSc/TS

• Referenced in 20 articles [sw41126]
• runtime selection of solver types, adaptive error control, and monitoring of solution progress. The library...

• FLATA

• Referenced in 19 articles [sw04142]
• recursive programs - checking if an error control state is reachable termination analysis of non-recursive...

• CADNA

• Referenced in 46 articles [sw00098]
• library enables one to estimate round-off error propagation using a probabilistic approach. With CADNA ... quality of any simulation program can be controlled. Furthermore by detecting all the instabilities which ... round-off errors can be estimated. Slight modifications are required to control a code with ... information it provides concerning round-off error propagation in a code...

• fdatest

• Referenced in 13 articles [sw19272]
• define a new type of error control, the interval-wise control of the family wise ... error rate, particularly suited for functional data. We show that ITP is provided with such ... control. A simulation study comparing ITP with other testing procedures is reported. ITP is then...

• ESC/Java

• Referenced in 137 articles [sw07217]
• that attempts to find common run-time errors in JML-annotated Java programs by static ... code and its formal annotations. Users can control the amount and kinds of checking that...

• ASTREE

• Referenced in 113 articles [sw13704]
• proving automatically the absence of run time errors in programs written in the C programming ... been applied with success to large embedded control-command safety critical real-time software generated...

• RCV1

• Referenced in 122 articles [sw07279]
• describe the coding policy and quality control procedures used in producing the RCV1 data ... taxonomies, and the corrections necessary to remove errorful data. We refer to the original data...

• BACOLI

• Referenced in 6 articles [sw13810]
• Algorithm 962: BACOLI. BACOLI:Error Control Software for the Numerical Solution of One Dimensional Parabolic ... earlier package, BACOL, for the error controlled numerical solution of 1D Parabolic PDEs. Both BACOL...

• SLICOT

• Referenced in 84 articles [sw01095]
• methods for the design and analysis of control systems. The basic ideas behind the library ... must either return reliable results or an error or warning indicator; 3. numerical stability ... important because of ever increasing complexity of control problems, this objective may never...

• HSMUCE

• Referenced in 13 articles [sw27013]
• samples. We show that H‐SMUCE controls the error of overestimation and underestimation...

• FORSIM VI

• Referenced in 7 articles [sw16621]
• then be solved numerically by error-controlled integration. The FORSIM package solves...

• PMTBR

• Referenced in 19 articles [sw02086]
• error properties, and possess simple error estimation and order control procedures. By tailoring the method...

• BACOLR

• Referenced in 6 articles [sw04397]
• Algorithm 874: BACOLR - spatial and temporal error control software for PDEs based on high-order ... approach and provides tolerance control of the spatial and temporal errors. The DAEs resulting from...