• Lambda

  • Referenced in 5 articles [sw09272]
  • Lambda: A Mathematica package for operator product expansions in vertex algebras. We give an introduction ... algebras. This is equivalent to calculating operator product expansions in two-dimensional conformal field theory...
  • ope.math

  • Referenced in 4 articles [sw09271]
  • Ope.math: Operator product expansions in free field realizations of conformal field theory. We present version ... package “ope.math” for Mathematica to compute operator product expansions (OPEs) of composite operators (currents...
  • QuantumCumulants.jl

  • Referenced in 1 article [sw41446]
  • infinite hierarchy of equations for products of operators. A well-established approach to truncate this ... called cumulant expansion, which decomposes expectation values of operator products into products of a given ... approach: first, the equations of motion of operators up to a desired order are derived ... expectation values are expanded employing the cumulant expansion approach, where moments up to a chosen...
  • DEFT

  • Referenced in 7 articles [sw28087]
  • lower dimensions or to an arbitrary product of unitary gauge groups) are conceptually straightforward. Amongst ... list of Lagrangian operators (of a given dimension in the EFT expansion) is a basis...
  • ORTHOVEC

  • Referenced in 2 articles [sw16764]
  • scalars and vectors. Operations include addition, subtraction, dot and cross products, division, modulus, div, grad ... curl, Laplacian, differentiation, integration, a · ∇ and Taylor expansion. Version 2 differs from the original...
  • SOSpin

  • Referenced in 1 article [sw22163]
  • basis. We make use of the oscillator expansion formalism, where the 𝖲𝖮(2N) spinor representations ... annihilation operators of a Grassmann algebra acting on a vacuum state. These noncommutative operators ... their products are simulated in SOSpin through the implementation of doubly-linked-list data structures...
  • MNiBLoS

  • Referenced in 2 articles [sw32318]
  • fuzzy logics (including BL, Łukasiewicz, Gödel and product logics), and with all the continuous ... previous ones; concerning the modal expansion, mNiBLoS imposes no boundary on the cardinality ... rational constants and the Monteiro-Baaz (Delta) operator. The code of mNiBLoS is of free...
  • FIDAP

  • Referenced in 37 articles [sw00006]
  • FIDAP (A Fluid Dynamics Analysis Program). This paper...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • CASA

  • Referenced in 105 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CLIFFORD

  • Referenced in 84 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CoCoA

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

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Cuba

  • Referenced in 77 articles [sw00173]
  • Cuba -- a library for multidimensional numerical integration. The...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • DCUHRE

  • Referenced in 23 articles [sw00190]
  • Algorithm 698: DCUHRE: an adaptive multidemensional integration routine...
  • Expokit

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