
MHOST
 Referenced in 2 articles
[sw18263]
 novel mixed iterative solution strategy is derived from the augmented HuWashizu variational principle...

GRADSPMHD
 Referenced in 2 articles
[sw19943]
 discretized MHD equations from a variational principle, the inclusion of timedependent artificial viscosity, resistivity ... well as the inclusion of a mixed hyperbolic/parabolic correction scheme for satisfying the ∇·B → constraint...

ADOLC
 Referenced in 244 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

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

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

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

FIAT
 Referenced in 37 articles
[sw00287]
 Algorithm 839: FIAT, a new paradigm for computing...

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

HSL
 Referenced in 274 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

LAPACK
 Referenced in 1648 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LSQR
 Referenced in 372 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

Magma
 Referenced in 2998 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5177 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6075 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12557 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MooNMD
 Referenced in 73 articles
[sw00592]
 The basis of mapped finite element methods are...

MPDATA
 Referenced in 74 articles
[sw00596]
 MPDATA: A finitedifference solver for geophysical flows...

NAG
 Referenced in 419 articles
[sw00610]
 Produced by experts for use in a variety...

PARDISO
 Referenced in 274 articles
[sw00679]
 The package PARDISO is a threadsafe, high...

PLTMG
 Referenced in 215 articles
[sw00717]
 PLTMG 11.0 is a package for solving elliptic...