
SARAH
 Referenced in 36 articles
[sw06472]
 theory can be chosen. CP and flavor violation can easily be switched...

NEST
 Referenced in 2 articles
[sw14950]
 uses unique concepts such as Differential Traffic Theory and Distributed Hybrid Simulation, which is patented ... modeling packet switched, circuit switched and virtual circuit switched networks. QoS Design has also developed...

QNSTOP
 Referenced in 2 articles
[sw26832]
 Castle and Trosset. For stochastic problems, convergence theory exists for the particular algorithmic choices ... deterministic global optimization, based on an input switch. QNSTOP is particularly effective for “noisy” deterministic...

qFunctions
 Referenced in 1 article
[sw30803]
 Mathematica package for qseries and partition theory applications. This package includes both experimental ... shift equations and recurrences, such as switching between these forms, finding the greatest common divisor...

BEMLIB
 Referenced in 82 articles
[sw00005]
 BEMLIB is a boundaryelement software library of...

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

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

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

FEMSTER
 Referenced in 18 articles
[sw00275]
 FEMSTER is a modular finite element class library...

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

FLAME
 Referenced in 38 articles
[sw00293]
 We present a number of application program interfaces...

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

GAUSS
 Referenced in 110 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

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

GreatSPN
 Referenced in 55 articles
[sw00384]
 GreatSPN2.0 is a software package for the modeling...

HSL
 Referenced in 232 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

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

KORALZ
 Referenced in 14 articles
[sw00493]
 rief information on new features of KORALZ version...

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