• 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]
  • 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 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, open-source 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 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...