• 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 4273 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 4791 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • REDUCE

  • Referenced in 695 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SINGULAR

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

  • Referenced in 2621 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 29 articles [sw21089]
  • Maple’s function DEtools: perform Zeilberger’s algorithm...