
DET
 Referenced in 4 articles
[sw19265]
 Holonomic Ansatz II. Automatic Discovery(!) And Proof(!!) of Holonomic Determinant Evaluations. Many explicit determinant evaluations ... suspect that they belong to the Holonomic Ansatz. Accompanied by the Maple package DET available...

Walks
 Referenced in 6 articles
[sw19291]
 QuasiHolonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article...

Guess.m
 Referenced in 6 articles
[sw19292]
 QuasiHolonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article...

LinearSystemSolver
 Referenced in 6 articles
[sw19293]
 QuasiHolonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article...

HalfLine
 Referenced in 6 articles
[sw19294]
 QuasiHolonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article...

OneDimWalks
 Referenced in 6 articles
[sw19295]
 QuasiHolonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article...

QuarterPlane
 Referenced in 6 articles
[sw19296]
 QuasiHolonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article...

WalkCarefully
 Referenced in 6 articles
[sw19297]
 QuasiHolonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article...

GuessHolo2
 Referenced in 4 articles
[sw11438]
 They accompany by the article The Holonomic Ansatz I. Foundations and Applications to Lattice Path...

CfiniteIntegral
 Referenced in 1 article
[sw21257]
 finite Ansatz Meets the Holonomic Ansatz. We show how the continuous AlmkvistZeilberger algorithm...

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

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

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

SINGULAR
 Referenced in 1129 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

OEIS
 Referenced in 2648 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

DODGSON
 Referenced in 12 articles
[sw12653]
 Determinants through the looking glass. Using a recurrence...

DEtools
 Referenced in 30 articles
[sw21089]
 Maple’s function DEtools: perform Zeilberger’s algorithm...