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