
Normaliz
 Referenced in 145 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...

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

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

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

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

Coq
 Referenced in 1753 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 2707 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 256 articles
[sw00363]
 GMP is a free library for arbitrary precision...

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

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

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

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

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

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

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