
BTSystem
 Referenced in 2 articles
[sw17632]
 which includes: (1) improved treatment of tensor products of states and density matrices, (2) major ... algorithms, (4) entanglement studies, including Schmidt decomposition, entropy, mutual information, partial transposition, and calculation...

OpenCalphad
 Referenced in 2 articles
[sw27263]
 consistent thermodynamic values of chemical potentials, enthalpies, entropies, thermal expansions, heats of transformations, and heat ... multicomponent systems, and the majority are commercial products. The OpenCalphad (OC) software, discussed here...

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

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

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 127 articles
[sw00182]
 A C++ class library for extended scientific computing...

DCUHRE
 Referenced in 25 articles
[sw00190]
 Algorithm 698: DCUHRE: an adaptive multidemensional integration routine...

Expokit
 Referenced in 200 articles
[sw00258]
 Expokit provides a set of routines aimed at...

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

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GEANT4
 Referenced in 45 articles
[sw00328]
 Differential elastic hadronnucleus crosssections are discussed...

Gerris
 Referenced in 354 articles
[sw00341]
 Gerris is a Free Software program for the...

gfun
 Referenced in 144 articles
[sw00344]
 The gfun package provides tools for determining and...

gmp
 Referenced in 289 articles
[sw00363]
 GMP is a free library for arbitrary precision...

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

IMITATOR
 Referenced in 31 articles
[sw00439]
 IMITATOR is a software tool for parametric verification...

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

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

KNITRO
 Referenced in 200 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

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