
Normaliz
 Referenced in 168 articles
[sw00630]
 triangulation of a vector, the Hilbert basis of a (not necessarily pointed) rational cone ... normalization of an affine monoid, the Hilbert (or Ehrhart) series and the Hilbert (or Ehrhart...

sdt
 Referenced in 1 article
[sw16956]
 given in a JTcoupled harmonic oscillator basis and calculates correlation coefficients, a measure ... interactions, as well as HilbertSchmidt norms specifying interaction strengths. An important feature...

Quantum trajectory
 Referenced in 1 article
[sw36103]
 build up arbitrarily complex operators in product Hilbert spaces with arbitrary numbers of components. Standard ... represented in a local moving basis, often leading to dramatic savings of computing resources...

SQuIDS
 Referenced in 1 article
[sw19953]
 operators in an $mathrm{SU}(N)$ basis. SQuIDS provides a base class from which users ... evolution of a collection of particles with Hilbert space of dimension...

CASA
 Referenced in 105 articles
[sw00108]
 CASA is a specialpurpose system for computational...

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

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

CoCoALib
 Referenced in 61 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

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

finvar.lib
 Referenced in 2 articles
[sw00291]
 finvar.lib. A Singular 2.0 library for computing invariant...

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

Gb
 Referenced in 3 articles
[sw00324]
 C++ program for computing efficiently Groebner bases. See...

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

KANT/KASH
 Referenced in 156 articles
[sw00481]
 KASH/KANT is a computer algebra system (CAS) for...

Kronecker
 Referenced in 117 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LANCELOT
 Referenced in 306 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

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

LiDIA
 Referenced in 53 articles
[sw00518]
 LiDIA: A library for computational number theory. LiDIA...