• 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 four-jet quantity...
  • LCSE

  • Referenced in 2 articles [sw22286]
  • models. We present a high-temperature series expansion code for spin-1/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, single-particle...
  • 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 Monteiro-Baaz (Delta) operator. The code...
  • PB-AM

  • Referenced in 1 article [sw16459]
  • kinetics schemes to evaluate biomolecular association rate constants. Given that PB-AM defines mutual polarization ... refactored as a many-body expansion to explore 2- and 3-body 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 boundary-element software library of...
  • CASA

  • Referenced in 111 articles [sw00108]
  • CASA is a special-purpose 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...