
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...

holoservoopt
 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 nonholonomic 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 qanalogues...

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