
PARIS
 Referenced in 8 articles
[sw29304]
 inviscid, incompressible liquid subject to a constant expansion rate with cavities at a vanishing vapor ... fixed domain under a constant rate of expansion. A bubble competition is observed: larger bubbles...

hgm R
 Referenced in 21 articles
[sw08770]
 This is equivalent to evaluating the normalizing constant and its derivatives at a point. This ... step is usually performed by a series expansion. (3) Solve the holonomic system numerically ... example, the orthant probability is the normalizing constant of the multivariate normal distribution restricted...

MENLO_PARC
 Referenced in 1 article
[sw00571]
 Nature of problem: The expansion in the strong coupling constant of any fourjet quantity...

LCSE
 Referenced in 2 articles
[sw22286]
 models. We present a hightemperature series expansion code for spin1/2 Heisenberg models ... show how to extract effective coupling constants for the triangular Heisenberg model from experimental data...

CASSINI
 Referenced in 1 article
[sw17868]
 defined in terms of an expansion into spherical harmonics or in terms of Cassinian oval ... parameterization. The standard liquid drop model constants, effective barriers for the unbound states, singleparticle...

MNiBLoS
 Referenced in 2 articles
[sw32318]
 previous ones; concerning the modal expansion, mNiBLoS imposes no boundary on the cardinality ... fuzzy modal logics with rational constants and the MonteiroBaaz (Delta) operator. The code...

PBAM
 Referenced in 1 article
[sw16459]
 kinetics schemes to evaluate biomolecular association rate constants. Given that PBAM defines mutual polarization ... refactored as a manybody expansion to explore 2 and 3body polarization. Additionally...

PTEBEM
 Referenced in 1 article
[sw37085]
 stronger than others. Therefore, retain the Taylor expansion related coefficient and the partial derivatives corresponding ... smooth boundary panels can be obtained by constant panel method. From the results of KVLCC2 ... square of velocity term. Applying the Taylor expansion at sharp corner panels only can retain...

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

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

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

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

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

Cuba
 Referenced in 79 articles
[sw00173]
 Cuba  a library for multidimensional numerical integration. The...

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

FLINT
 Referenced in 58 articles
[sw00297]
 Fast library for number theory: an introduction. We...

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

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

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