• hgm R

  • Referenced in 12 articles [sw08770]
  • framework of Zeilberger’s holonomic systems approach. In fact, broad classes of normalizing constants ... parameters. Then, such normalizing constants satisfy holonomic systems of linear partial differential equations ... given normalizing constant. (1) Find a holonomic system satisfied by the normalizing constant ... initial value vector for the holonomic system. This is equivalent to evaluating the normalizing constant...
  • HolonomicFunctions

  • Referenced in 35 articles [sw06666]
  • function satisfies. Summation and integration of multivariate holonomic functions can be performed via creative telescoping ... Gröbner bases, and solving of coupled linear systems of differential or difference equations...
  • hgm

  • Referenced in 1 article [sw25628]
  • unnormalized probability distributions by utilizing holonomic systems of differential or difference equations. The holonomic gradient...
  • holo-servo-opt

  • Referenced in 1 article [sw24515]
  • module for optimal control of multibody systems with holonomic and servo constraints...
  • SETTLE

  • Referenced in 11 articles [sw12892]
  • positions and velocities to satisfy the holonomic constraints on the rigid water model is presented ... still based on the Cartesian coordinate system and can be used in place of SHAKE...
  • GRC 3.2

  • Referenced in 5 articles [sw11333]
  • based on the computer algebra system Reduce but GRG has its own simple input language ... represent tensor quantities with respect to holonomic, orthogonal and even any other arbitrary frame...
  • AINS

  • Referenced in 1 article [sw11361]
  • global positioning system (GPS), odometers, heading, and non-holonomic constraints. The toolbox supports various attitude...
  • ACETAF

  • Referenced in 6 articles [sw00014]
  • ACETAF: A software package for computing validated bounds...
  • gfun

  • Referenced in 117 articles [sw00344]
  • The gfun package provides tools for determining and...
  • HSL

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

  • Referenced in 1337 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 4652 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathemagix

  • Referenced in 37 articles [sw00553]
  • Mathemagix: Towards large scale programming for symbolic and...
  • Mathematica

  • Referenced in 5138 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • PGB

  • Referenced in 15 articles [sw00704]
  • We describe a new software package, named PGB...
  • Plural

  • Referenced in 65 articles [sw00719]
  • Singular is a computer algebra system (CAS) developed...
  • polymake

  • Referenced in 260 articles [sw00724]
  • polymake is open source software for research in...
  • qZeil

  • Referenced in 32 articles [sw00770]
  • qZeil is a Mathematica implementation of q-analogues...
  • REDUCE

  • Referenced in 706 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...