
simpcomp
 Referenced in 21 articles
[sw06898]
 such as the f, g and hvectors, the face lattice, the automorphism group...

MFEM
 Referenced in 14 articles
[sw09043]
 conforming, discontinuous (L2), H(div)conforming, H(curl)conforming and NURBS elements, as well ... objects, and produce the corresponding linear algebra vectors and sparse matrices. In order to facilitate...

SPINSGA
 Referenced in 1 article
[sw00901]
 iteration vector is calculated in an implicit way, without ever setting up the H matrix...

BBVSCG
 Referenced in 6 articles
[sw00069]
 function f(x). Here x is a vector of n variables, that ... Shanno} and {it K. H. Phua} [Minimization of unconstrained multivariate functions, ibid...

MAGMA
 Referenced in 4 articles
[sw10436]
 account for variable smoothing length (‘gradh’) terms in both the hydrodynamic and the gravitational ... condition. This formulation is equivalent to a vector potential approach and therefore fulfils...

Aria
 Referenced in 4 articles
[sw09026]
 electrostatics as well as generalized scalar, vector and tensor transport equations. Additionally, Aria includes support ... aforementioned methods. Error estimation, uniform and dynamic hadaptivity and dynamic load balancing are some...

R2SM
 Referenced in 3 articles
[sw11901]
 topologies filled by means of generic scalars, vectors and fermions, allowing to build these Feynman ... considering the specific example of the H > gammagamma decay process at 1loop. This...

GORIC
 Referenced in 1 article
[sw24569]
 with βh,j the parameter for the hth dependent variable ... R1β = r1; R2β ≥ r2, with β a vector of length...

ANSYS
 Referenced in 517 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

BTN
 Referenced in 3 articles
[sw00094]
 Algorithm 711: BTN: Software for parallel unconstrained optimization...

cdd
 Referenced in 95 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CoCoA
 Referenced in 542 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1367 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 173 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

Diffpack
 Referenced in 107 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

EIGIFP
 Referenced in 9 articles
[sw00235]
 eigifp is a MATLAB program for computing a...

FEMSTER
 Referenced in 18 articles
[sw00275]
 FEMSTER is a modular finite element class library...

Gmsh
 Referenced in 296 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

hypre
 Referenced in 187 articles
[sw00426]
 hypre is a software library for the solution...

ISOGAT
 Referenced in 151 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...