• 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...

• C-XSC

• Referenced in 110 articles [sw00181]
• C-XSC. A programming environment for verified scientific...

• C-XSC 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 hadron-nucleus cross-sections 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...