
Asyrec
 Referenced in 10 articles
[sw08896]
 package for computing the asymptotics of solutions of linear recurrence equations with polynomial coefficients...

Algorithm 877
 Referenced in 4 articles
[sw09117]
 asymptotic expansions, Olver’s asymptotic expansions, and recurrence methods (Miller’s algorithms). The relative errors...

Algolib
 Referenced in 3 articles
[sw04111]
 generating functions, functional equations or recurrences; study their asymptotic behaviour. The interplay between these applications...

IncgamNEG
 Referenced in 3 articles
[sw16456]
 expansions, Poincarétype expansions, uniform asymptotic expansions, and recurrence relations, depending on the parameter region...

Algorithm 939
 Referenced in 7 articles
[sw12897]
 expansions, integral representations, asymptotic expansions, and use of threeterm homogeneous recurrence relations. A relative...

LaguerrePol
 Referenced in 4 articles
[sw22277]
 threeterm recurrence relation satisfied by the polynomials and different types of asymptotic expansions valid...

condGEE
 Referenced in 1 article
[sw38298]
 parameter, and their asymptotic variance in a conditional GEE for recurrent event gap times...

LoAT
 Referenced in 3 articles
[sw23213]
 recurrence solving and a variation of ranking functions. Afterwards, we deduce asymptotic lower bounds from...

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

BARON
 Referenced in 339 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CoCoA
 Referenced in 649 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1856 articles
[sw00161]
 Coq is a formal proof management system. It...

FGb
 Referenced in 246 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

GAP
 Referenced in 3068 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

gmp
 Referenced in 275 articles
[sw00363]
 GMP is a free library for arbitrary precision...

HURRY
 Referenced in 27 articles
[sw00420]
 HURRY: An acceleration algorithm for scalar sequences and...

Hypexp
 Referenced in 61 articles
[sw00425]
 HypExp 2, Expanding hypergeometric functions about halfinteger...

Kronecker
 Referenced in 116 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LANCELOT
 Referenced in 304 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...