
DET
 Referenced in 5 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 4384 articles
[sw00545]
 The result of over 30 years of cutting...

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

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

SageMath
 Referenced in 1207 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

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

DLMF
 Referenced in 1356 articles
[sw04968]
 NIST digital library of mathematical functions. The National...

OEIS
 Referenced in 2713 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...