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 56 articles , 2 standard articles )

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

1 2 3 next

  1. Du, Hao; Koutschan, Christoph; Thanatipanonda, Thotsaporn; Wong, Elaine: Binomial determinants for tiling problems yield to the holonomic ansatz (2022)
  2. Görlach, Paul; Lehn, Christian; Sattelberger, Anna-Laura: Algebraic analysis of the hypergeometric function (_1F_1) of a matrix argument (2021)
  3. Koutschan, Christoph: Holonomic anti-differentiation and Feynman amplitudes (2021)
  4. Koutschan, Christoph; Wong, Elaine: Creative telescoping on multiple sums (2021)
  5. Paule, Peter; Radu, Cristian-Silviu: Holonomic relations for modular functions and forms: first guess, then prove (2021)
  6. Wiart, Jaspar; Wong, Elaine: Walsh functions, scrambled (( 0 , m , s ))-nets, and negative covariance: applying symbolic computation to quasi-Monte Carlo integration (2021)
  7. Blümlein, J.; De Freitas, A.; Raab, C. G.; Schönwald, K.: The (O(\alpha^2)) initial state QED corrections to (e^+ e^- \to\gamma^\ast/ Z_0^\ast) (2020)
  8. Cai, Fangfang; Hou, Qing-Hu; Sun, Yidong; Yang, Arthur L. B.: Combinatorial identities related to (2 \times2) submatrices of recursive matrices (2020)
  9. Cluzeau, Thomas; Koutschan, Christoph; Quadrat, Alban; Tõnso, Maris: Effective algebraic analysis approach to linear systems over Ore algebras (2020)
  10. Gonzalez, Ivan; Jiu, Lin; Moll, Victor H.: An extension of the method of brackets. Part 2 (2020)
  11. Hoffmann, Johannes; Levandovskyy, Viktor: Constructive arithmetics in Ore localizations of domains (2020)
  12. Jiu, Lin; Koutschan, Christoph: Calculation and properties of zonal polynomials (2020)
  13. Quadrat, Alban (ed.); Zerz, Eva (ed.): Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4--6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7--11, 2014 (2020)
  14. Takayama, Nobuki; Jiu, Lin; Kuriki, Satoshi; Zhang, Yi: Computation of the expected Euler characteristic for the largest eigenvalue of a real non-central Wishart matrix (2020)
  15. 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)
  16. Blümlein, J.; Raab, C.; Schönwald, K.: The polarized two-loop massive pure singlet Wilson coefficient for deep-inelastic scattering (2019)
  17. Chen, Shaoshi; Kauers, Manuel; Li, Ziming; Zhang, Yi: Apparent singularities of D-finite systems (2019)
  18. Koutschan, Christoph; Thanatipanonda, Thotsaporn: A curious family of binomial determinants that count rhombus tilings of a holey hexagon (2019)
  19. Baryshnikov, Yuliy; Melczer, Stephen; Pemantle, Robin; Straub, Armin: Diagonal asymptotics for symmetric rational functions via ACSV (2018)
  20. Blümlein, Johannes; Round, Mark; Schneider, Carsten: Refined holonomic summation algorithms in particle physics (2018)

1 2 3 next


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