• 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]
  • Quasi-Holonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article...
  • Guess.m

  • Referenced in 6 articles [sw19292]
  • Quasi-Holonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article...
  • LinearSystemSolver

  • Referenced in 6 articles [sw19293]
  • Quasi-Holonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article...
  • HalfLine

  • Referenced in 6 articles [sw19294]
  • Quasi-Holonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article...
  • OneDimWalks

  • Referenced in 6 articles [sw19295]
  • Quasi-Holonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article...
  • QuarterPlane

  • Referenced in 6 articles [sw19296]
  • Quasi-Holonomic Ansatz and Restricted Lattice Walks” by Manuel Kauers and Doron Zeilberger. This article...
  • WalkCarefully

  • Referenced in 6 articles [sw19297]
  • Quasi-Holonomic 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 Almkvist-Zeilberger 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 On-Line 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...