
FEniCS
 Referenced in 699 articles
[sw04314]
 error control and adaptivity, a comprehensive library of finite elements, high performance linear algebra...

redbKIT
 Referenced in 208 articles
[sw12977]
 implementation aspects, and highlights their builtin algebraic and geometric structures. More specifically, the authors ... both a priori and a posteriori error analysis. Reduced basis methods for partial differential equations...

Z
 Referenced in 279 articles
[sw10291]
 number of minor unclarities, inconsistencies and errors (both in semantics and spelling). This gives ... from the relational calculus are introduced, its algebraic properties are not mentioned; many...

bvpsuite
 Referenced in 25 articles
[sw08540]
 equations and differential algebraic equations. We also discuss the a posteriori error estimate...

AIR tools
 Referenced in 82 articles
[sw09203]
 problem. Two classes of methods are implemented: Algebraic reconstruction techniques and simultaneous iterative reconstruction techniques ... provided are the discrepancy principle, the monotone error rule, and the normalixed cumulative periodogram criterion...

SLICOT
 Referenced in 83 articles
[sw01095]
 control theory. Based on numerical linear algebra routines from BLAS and LAPACK libraries, SLICOT provides ... must either return reliable results or an error or warning indicator; 3. numerical stability...

iRRAM
 Referenced in 39 articles
[sw08769]
 very efficient C++ package for errorfree real arithmetic based on the concept ... ordinary arithmetic over trigonometric functions to linear algebra even with sparse matrices. We discuss...

hlib
 Referenced in 72 articles
[sw04080]
 using BLAS and LAPACK for lowerlevel algebraic operations. The library contains functions ... progress, so there may be undiscovered errors and you can expect new features to appear...

SPRINT2D
 Referenced in 25 articles
[sw00904]
 algebra, spatial adaptivity, and visualization. The software uses unstructured triangular meshes and adaptive local error...

DLR PADGE
 Referenced in 11 articles
[sw18096]
 reducing output error and techniques for solving the nonlinear algebraic equations. The performance...

QuantumCircuit
 Referenced in 5 articles
[sw09246]
 problem of quantum error correction and its simulation with the computer algebra system Mathematica. Basic...

FrodoKEM
 Referenced in 15 articles
[sw35260]
 errors problem, which in turn has close connections to conjecturedhard problems on generic, algebraically...

BLUEVERI
 Referenced in 1 article
[sw10899]
 reasoning based on computational algebraic geometry. Algebraic error correcting codes (ECC) are widely used ... conclusively by using an apparatus of computational algebraic geometry (Buchberger’s algorithm for Gr”obner ... successfully applied to prove correctness of large error correcting circuits on IBM’s POWER systems...

EST_MINRES
 Referenced in 1 article
[sw20180]
 posteriori estimator for the PDE approximation error. This leads to a robust and optimally efficient ... terminated as soon as the algebraic error is insignificant compared to the approximation error...

AptoFEM
 Referenced in 7 articles
[sw12628]
 posteriori error estimation. Interfaces to a variety of third party linear algebra packages...

DAISY
 Referenced in 46 articles
[sw09059]
 under ideal conditions (noisefree observations and errorfree model structure). Of course, determining ... describe a software tool implementing a differential algebra algorithm to perform parameter identifiability analysis...

ALADINS
 Referenced in 10 articles
[sw09563]
 ALADINS: an ALgebraic splitting time ADaptive solver for the Incompressible NavierStokes equations. We address ... identification of a reliable a posteriori error estimator. Typical strategies are based on the combination ... paper, we move from the pressure correction algebraic factorizations formerly proposed by F. Saleri...

rrgmrestbx
 Referenced in 13 articles
[sw11496]
 nonsymmetric linear discrete illposed problems with errorcontaminated data (righthand side). Several derivations ... linear discrete illposed problems. Linear Algebra Appl (to appear)]. We describe MATLAB codes...

Mathpert
 Referenced in 18 articles
[sw24047]
 explicitly designed to support the learning of algebra, trigonometry, and first semester calculus. This paper ... dynamically generates individualized and helpful error messages by comparing user errors to its own internal...

BACOLI
 Referenced in 6 articles
[sw13810]
 earlier package, BACOL, for the error controlled numerical solution of 1D Parabolic PDEs. Both BACOL ... boundary conditions represents a system of differentialalgebraic equations (DAEs) that are solved using...