HolonomicFunctions

The HolonomicFunctions package by Christoph Koutschan allows to deal with multivariate holonomic functions and sequences in an algorithmic fashion. For this purpose the package can compute annihilating ideals and execute closure properties (addition, multiplication, substitutions) for such functions. An annihilating ideal represents the set of linear differential equations, linear recurrences, q-difference equations, and mixed linear equations that a given function satisfies. Summation and integration of multivariate holonomic functions can be performed via creative telescoping. As subtasks, the following functionalities have been implemented in HolonomicFunctions: computations in Ore algebras (noncommutative polynomial arithmetic with mixed difference-differential operators), noncommutative Gröbner bases, and solving of coupled linear systems of differential or difference equations.


References in zbMATH (referenced in 40 articles , 2 standard articles )

Showing results 1 to 20 of 40.
Sorted by year (citations)

1 2 next

  1. Cai, Fangfang; Hou, Qing-Hu; Sun, Yidong; Yang, Arthur L. B.: Combinatorial identities related to (2 \times2) submatrices of recursive matrices (2020)
  2. Hoffmann, Johannes; Levandovskyy, Viktor: Constructive arithmetics in Ore localizations of domains (2020)
  3. Blümlein, J.; De Freitas, A.; Raab, C. G.; Schönwald, K.: The unpolarized two-loop massive pure singlet Wilson coefficients for deep-inelastic scattering (2019)
  4. Chen, Shaoshi; Kauers, Manuel; Li, Ziming; Zhang, Yi: Apparent singularities of D-finite systems (2019)
  5. Koutschan, Christoph; Thanatipanonda, Thotsaporn: A curious family of binomial determinants that count rhombus tilings of a holey hexagon (2019)
  6. Chen, Herman Z. Q.; Yang, Arthur L. B.; Zhang, Philip B.: The real-rootedness of generalized Narayana polynomials related to the Boros-Moll polynomials (2018)
  7. Koutschan, Christoph; Paule, Peter: Holonomic tools for basic hypergeometric functions (2018)
  8. Koutschan, Christoph; Zhang, Yi: Desingularization in the (q)-Weyl algebra (2018)
  9. Shalosh B. Ekhad, Doron Zeilberger: How Many Rounds Should You Expect in Urn Solitaire? (2018) arXiv
  10. Johannes Hoffmann, Viktor Levandovskyy: Constructive Arithmetics in Ore Localizations of Domains (2017) arXiv
  11. Bostan, Alin; Bousquet-Mélou, Mireille; Kauers, Manuel; Melczer, Stephen: On 3-dimensional lattice walks confined to the positive octant (2016)
  12. Combot, Thierry: Integrable planar homogeneous potentials of degree (- 1) with small eigenvalues (2016)
  13. Dixit, Atul; Moll, Victor H.; Pillwein, Veronika: A hypergeometric inequality (2016)
  14. Drmota, Michael; Kauers, Manuel; Spiegelhofer, Lukas: On a conjecture of Cusick concerning the sum of digits of (n) and (n+t) (2016)
  15. Hassani, S.; Koutschan, Ch.; Maillard, J.-M.; Zenine, N.: Lattice Green functions: the (d)-dimensional face-centered cubic lattice, (d = 8, 9, 10, 11, 12) (2016)
  16. Koutschan, Christoph; Neumüller, Martin; Radu, Cristian-Silviu: Inverse inequality estimates with symbolic computation (2016)
  17. Bostan, A.; Boukraa, S.; Maillard, J.-M.; Weil, J.-A.: Diagonals of rational functions and selected differential Galois groups (2015)
  18. Brent, Richard P.; Johansson, Fredrik: A bound for the error term in the Brent-McMillan algorithm (2015)
  19. Kauers, Manuel; Jaroschek, Maximilian; Johansson, Fredrik: Ore polynomials in Sage (2015)
  20. Ablinger, J.; Blümlein, J.; Raab, C. G.; Schneider, C.: Iterated binomial sums and their associated iterated integrals (2014)

1 2 next


Further publications can be found at: http://www.risc.jku.at/publications/