• REDUCE

  • Referenced in 740 articles [sw00789]
  • effort involving many contributors. Its capabilities include: expansion and ordering of polynomials and rational functions...
  • Chebfun

  • Referenced in 353 articles [sw05897]
  • system combines tools of Chebyshev expansions, fast Fourier transform, barycentric interpolation, recursive zerofinding, and automatic...
  • ETPS

  • Referenced in 156 articles [sw06302]
  • equality. It has facilities for searching for expansion proofs, translating these into natural deduction proofs ... proofs which do not contain cuts into expansion proofs, and solving unification problems in higher...
  • sysdfod

  • Referenced in 145 articles [sw20916]
  • fractional order differentiator/integrator based on continued fraction expansion of weighted operator which is mixed scheme...
  • TPS

  • Referenced in 71 articles [sw00973]
  • equality. It has facilities for searching for expansion proofs, translating these into natural deduction proofs ... proofs which do not contain cuts into expansion proofs, and solving unification problems in higher...
  • DAKOTA

  • Referenced in 67 articles [sw05202]
  • uncertainty quantification with sampling, reliability, and stochastic expansion methods; parameter estimation with nonlinear least squares...
  • TREESPH

  • Referenced in 66 articles [sw14217]
  • computed with a hierarchical tree algorithm. Multiple expansions are used to approximate the potential...
  • Mincer

  • Referenced in 64 articles [sw09009]
  • within dimensional regularization. The program calculates Laurent expansions of diagrams with respect to the parameter...
  • Hypexp

  • Referenced in 58 articles [sw00425]
  • describe a new algorithm for the expansion of hypergeometric functions about half-integer parameters...
  • HPL

  • Referenced in 58 articles [sw10415]
  • product algebra, the derivative properties, series expansion and numerical evaluation. The analytic continuation has been...
  • AUSMPW+

  • Referenced in 56 articles [sw12049]
  • proved that an unphysical expansion shock is completely excluded. With simple Mach number interpolation functions...
  • refund

  • Referenced in 53 articles [sw07434]
  • constructed. Standard mixed model representations of functional expansions are used to construct curve estimates...
  • HERWIG 5.1

  • Referenced in 48 articles [sw02160]
  • resummation of the perturbative QCD expansion including all asymptotic and some important subasymptotic contributions. Solution...
  • channelflow

  • Referenced in 48 articles [sw07526]
  • customized for Fourier x Chebyshev x Fourier expansions appropriate for rectangular geometries with periodic boundary...
  • HarmonicSums

  • Referenced in 48 articles [sw10035]
  • Moreover, the package allows to compute (asymptotic) expansions of the nested sums and iterated integrals...
  • Nestedsums

  • Referenced in 26 articles [sw15013]
  • Nestedsums library. Symbolic Expansion of Transcendental Functions. Higher transcendental function occur frequently in the calculation ... Feynman integrals in quantum field theory. Their expansion in a small parameter ... computer program which allows the systematic expansion of certain classes of functions. The algorithms...
  • NINJA

  • Referenced in 37 articles [sw02398]
  • optimizations. Two compiler techniques, versioning and semantic expansion, can be leveraged to allow fully automatic...
  • Nenofex

  • Referenced in 18 articles [sw09579]
  • negation normal form (NNF), which relies on expansion as the core technique for eliminating variables ... increase quadratically in the worst case, expansion on NNF is involved with only a linear ... instead of CNF combined with expansion. In Nenofex, a formula in NNF is represented ... distances from nodes to the root short. Expansions of variables are scheduled based on estimated...
  • UQLab

  • Referenced in 30 articles [sw19740]
  • members, e.g. metamodeling (polynomial chaos expansions, Gaussian process modelling, a.k.a. Kriging, low-rank tensor approximations...
  • XSummer

  • Referenced in 28 articles [sw06109]
  • building blocks, originating for example, from the expansion of generalized hypergeometric functions around integer values...