
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]
 RaviartThomas 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 meshhandling, and some elementary timeintegration...

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 nonrecursive...

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

fdatest
 Referenced in 13 articles
[sw19272]
 define a new type of error control, the intervalwise 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 runtime errors in JMLannotated 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 controlcommand safety critical realtime 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 errorcontrolled 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 highorder ... approach and provides tolerance control of the spatial and temporal errors. The DAEs resulting from...