
FVCOM
 Referenced in 1 article
[sw30142]
 accurate discrete flux calculation in the integral form of the governing equations over an unstructured ... global momentum, mass, salt, heat, and tracer conservation. The ability of FVCOM to accurately solve...

conPAS
 Referenced in 1 article
[sw10953]
 abstraction of the PWA system in the form of a control transition system. Second ... measurements and applied controls, both procedure are conservative and expensive...

EnergyPLAN
 Referenced in 1 article
[sw38557]
 been under development since 1999 and has formed the basis for a substantial number ... implementation of energy efficiency improvements and energy conservation. This article describes the overall structure...

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

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

ATLAS
 Referenced in 199 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

BARON
 Referenced in 357 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

BoomerAMG
 Referenced in 196 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

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

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

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

Isabelle
 Referenced in 714 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

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

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

Macaulay2
 Referenced in 1924 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

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

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

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

Maxima
 Referenced in 171 articles
[sw00560]
 Maxima is a system for the manipulation of...