
hgm R
 Referenced in 18 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 48 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 2 articles
[sw25628]
 unnormalized probability distributions by utilizing holonomic systems of differential or difference equations. The holonomic gradient...

HELARS
 Referenced in 1 article
[sw36942]
 normalizing constant satisfies a holonomic system, a system of linear partial differential equations with ... paper we present a modification of the holonomic gradient method...

SETTLE
 Referenced in 13 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...

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

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

RhoSum
 Referenced in 1 article
[sw37379]
 difference rings and holonomic sequences described by linear recurrence systems. Relevant mathematics is reviewed...

AINS
 Referenced in 1 article
[sw11361]
 global positioning system (GPS), odometers, heading, and nonholonomic constraints. The toolbox supports various attitude...

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

gfun
 Referenced in 134 articles
[sw00344]
 The gfun package provides tools for determining and...

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

Macaulay2
 Referenced in 1721 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Maple
 Referenced in 5168 articles
[sw00545]
 The result of over 30 years of cutting...

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

Mathematica
 Referenced in 6041 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12477 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Maxima
 Referenced in 154 articles
[sw00560]
 Maxima is a system for the manipulation of...

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

Plural
 Referenced in 83 articles
[sw00719]
 Singular is a computer algebra system (CAS) developed...