Members
Jakob Ablinger
Koustav Banerjee
Nikolai Fadeev
Ankush Goswami
Ralf Hemmecke
Antonio Jimenez Pastor
Evans Doe Ocansey
Peter Paule
Veronika Pillwein: on leave
Cristian-Silviu Radu
Carsten Schneider
Nicolas Smoot
Ali Uncu
Upcoming Talks
I Prefer PI
I will report on my joint work with Doron Zeilberger, about how one can use experimental mathematics and symbolic algebra to measure the irrationality of famous mathematical constants; in particular, about a new world record for PI. There is still ...
Ongoing Projects
SAGEX – Scattering Amplitudes: from Geometry to Experiment
Extension of Algorithms for D-finite functions [DK15]
Computer Algebra and Combinatorial Inequalities [FWF SFB F050-07]
Computer Algebra for Nested Sums and Products [FWF SFB F050-09]
Partition Analysis [F050-06]
Computer Algebra Tools for Special Functions [DK6]
Software
Asymptotics
A Mathematica Package for Computing Asymptotic Series Expansions of Univariate Holonomic Sequences
This package is part of the RISCErgoSum bundle. The Asymptotics package provides a command for computing asymptotic series expansions of solutions of P-finite recurrence equations. ...
Bibasic Telescope
A Mathematica Implementation of a Generalization of Gosper's Algorithm to Bibasic Hypergeometric Summation
This package is part of the RISCErgoSum bundle. pqTelescope is a Mathematica implementation of a generalization of Gosper’s algorithm to indefinite bibasic hypergeometric summation. The package has been developed by Axel Riese, a former member of the RISC Combinatorics group. ...
Dependencies
A Mathematica Package for Computing Algebraic Relations of C-finite Sequences and Multi-Sequences
This package is part of the RISCErgoSum bundle. For any tuple f_1, f_2,..., f_r of sequences, the set of multivariate polynomials p such that p(f1(n),f2(n),...,fr(n))=0 for all points n forms ...
DiffTools
A Mathematica Implementation of several Algorithms for Solving Linear Difference Equations with Polynomial Coefficients
DiffTools is a Mathematica implementation for solving linear difference equations with polynomial coefficients. It contains an algorithm for finding polynomial solutions (by Marko Petkovsek), the algorithm by Sergei Abramov for finding rational solutions, the algorithm of Mark van Hoeij for ...
This package is part of the RISCErgoSum bundle. Engel is a Mathematica implementation of the q -Engel Expansion algorithm which expands q-series into inverse polynomial series. Examples of q-Engel Expansions include the Rogers-Ramanujan identities together with their elegant generalization by ...
fastZeil
The Paule/Schorn Implementation of Gosper’s and Zeilberger’s Algorithms
This package is part of the RISCErgoSum bundle. With Gosper’s algorithm you can find closed forms for indefinite hypergeometric sums. If you do not succeed, then you may use Zeilberger’s algorithm to come up with a recurrence relation for that ...
GeneratingFunctions
A Mathematica Package for Manipulations of Univariate Holonomic Functions and Sequences
This package is part of the RISCErgoSum bundle. GeneratingFunctions is a Mathematica package for manipulations of univariate holonomic functions and sequences. ...
GenOmega
A Mathematica Implementation of Guo-Niu Han's General Algorithm for MacMahon's Partition Analysis
This package is part of the RISCErgoSum bundle. GenOmega is a Mathematica implementation of Guo-Niu Han’s general Algorithm for MacMahon’s Partition Analysis carried out by Manuela Wiesinger, a master student of the RISC Combinatorics group. Partition Analysis is a computational ...
Guess
A Mathematica Package for Guessing Multivariate Recurrence Equations
This package is part of the RISCErgoSum bundle. The Guess package provides commands for guessing multivariate recurrence equations, as well as for efficiently guessing minimal order univariate recurrence, differential, or algebraic equations given the initial terms of a sequence or ...
HarmonicSums
A Mathematica Package for dealing with Harmonic Sums, Generalized Harmonic Sums and Cyclotomic Sums and their related Integral Representations
The HarmonicSums package by Jakob Ablinger allows to deal with nested sums such as harmonic sums, S-sums, cyclotomic sums and cyclotmic S-sums as well as iterated integrals such as harmonic polylogarithms, multiple polylogarithms and cyclotomic polylogarithms in an algorithmic fashion. ...
HolonomicFunctions
A Mathematica Package for dealing with Multivariate Holonomic Functions, including Closure Properties, Summation, and Integration
This package is part of the RISCErgoSum bundle. The HolonomicFunctions package 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) ...
math4ti2.m is an interface package, allowing the execution of zsolve of the package 4ti2 from within Mathematica notebooks. The package is written by Ralf Hemmecke and Silviu Radu. Licence This program is free software: you can redistribute it and/or ...
ModularGroup
A Mathematica Package providing Basic Algorithms and Visualization Routines related to the Modular Group, e.g. for Drawing the Tessellation of the Upper Half-Plane
ModularGroup.m is a Mathematica package which has been developed in the course of the diploma thesis Computer Algebra and Analysis: Complex Variables Visualized, carried out at the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz ...
MultiIntegrate
The MultiIntegrate package allows to compute multi-dimensional integrals over hyperexponential integrands in terms of (generalized) harmonic sums.
The MultiIntegrate package allows to compute multi-dimensional integrals over hyperexponential integrands in terms of (generalized) harmonic sums. This package uses variations and extensions of the multivariate Alkmkvist-Zeilberger algorithm. Registration and Legal Notices The source code for this package is password ...
MultiSum
A Mathematica Package for Proving Hypergeometric Multi-Sum Identities
This package is part of the RISCErgoSum bundle. MultiSum is a Mathematica package for proving hypergeometric multi-sum identities. It uses an efficient generalization of Sister Celine’s technique to find a homogeneous polynomial recurrence relation for the sum. The package has ...
Omega is a Mathematica implementation of MacMahon’s Partition Analysis carried out by Axel Riese, a Postdoc of the RISC Combinatorics group. It has been developed together with George E. Andrews and Peter Paule within the frame of a project initiated ...
ore_algebra
A Sage Package for doing Computations with Ore Operators
The ore_algebra package provides an implementation of Ore algebras for Sage. The main features for the most common instances include basic arithmetic and actions; gcrd and lclm; D-finite closure properties; natural transformations between related algebras; guessing; desingularization; solvers for polynomials, ...
OreSys
A Mathematica Implementation of several Algorithms for Uncoupling Systems of Linear Ore Operator Equations
This package is part of the RISCErgoSum bundle. OreSys is a Mathematica package for uncoupling systems of linear Ore operator equations. It offers four algorithms for reducing systems of differential or (q-)difference equations to higher order equations in a single ...
PermGroup
A Mathematica Package for Permutation Groups, Group Actions and Polya Theory
PermGroup is a Mathematica package dealing with permutation groups, group actions and Polya theory. The package has been developed by Thomas Bayer, a former student of the RISC Combinatorics group. ...
The QEta package is a collection of programs written in the FriCAS computer algebra system that allow to compute with Dedekind eta-functions and related q-series where q=exp(2 π i τ). Furthermore, we provide a number of functions connected to the ...
qFunctions
The qFunctions package is a Mathematica package for q-series and partition theory applications.
The qFunctions package by Jakob Ablinger and Ali K. Uncu is a Mathematica package for q-series and partition theory applications. This package includes both experimental and symbolic tools. The experimental set of elements includes guessers for q-shift equations and recurrences ...
qGeneratingFunctions
A Mathematica Package for Manipulations of Univariate q-Holonomic Functions and Sequences
This package is part of the RISCErgoSum bundle. The qGeneratingFunctions package provides commands for manipulating q-holonomic sequences and power series. ...
qMultiSum
A Mathematica Package for Proving q-Hypergeometric Multi-Sum Identities
This package is part of the RISCErgoSum bundle. qMultiSum is a Mathematica package for proving q-hypergeometric multiple summation identities. The package has been developed by Axel Riese, a former member of the RISC Combinatorics group. ...
qZeil
A Mathematica Implementation of q-Analogues of Gosper's and Zeilberger's Algorithm
This package is part of the RISCErgoSum bundle. qZeil is a Mathematica implementation of q-analogues of Gosper’s and Zeilberger’s algorithm for proving and finding indefinite and definite q-hypergeometric summation identities. The package has been developed by Axel Riese, a former ...
RaduRK is a Mathematica implementation of Cristian-Silviu Radu’s algorithm designed to compute Ramanujan-Kolberg identities. These are identities between the generating functions of certain classes of arithmetic sequences a(n), restricted to an arithmetic progression, and linear Q-combinations of eta quotients. These ...
RatDiff
A Mathematica Implementation of Mark van Hoeij's Algorithm for Finding Rational Solutions of Linear Difference Equations
RatDiff is a Mathematica implementation of Mark van Hoeij's algorithm for finding rational solutions of linear difference equations. The package has been developed by Axel Riese, a Postdoc of the RISC Combinatorics group during a stay at the University of ...
RLangGFun
A Maple Implementation of the Inverse Schützenberger Methodology
The inverse Schützenberger methodology transforms a rational generating function into a (pseudo-) regular expression for a corresponding regular language, and is based on Soittola's Theorem about the N-rationality of a formal power series. It is implemented in the Maple package ...
Sigma
A Mathematica Package for Discovering and Proving Multi-Sum Identities
Sigma is a Mathematica package that can handle multi-sums in terms of indefinite nested sums and products. The summation principles of Sigma are: telescoping, creative telescoping and recurrence solving. The underlying machinery of Sigma is based on difference field theory. ...
Singular.m is an interface package, allowing the execution of Singular functions from Mathematica notebooks, written by Manuel Kauers and Viktor Levandovskyy. ...
Stirling
A Mathematica Package for Computing Recurrence Equations of Sums Involving Stirling Numbers or Eulerian Numbers
This package is part of the RISCErgoSum bundle. The Stirling package provides a command for computing recurrence equations of sums involving Stirling numbers or Eulerian numbers. ...
SumCracker
A Mathematica Implementation of several Algorithms for Identities and Inequalities of Special Sequences, including Summation Problems
This package is part of the RISCErgoSum bundle. The SumCracker package contains routines for manipulating a large class of sequences (admissible sequences). It can prove identities and inequalities for these sequences, simplify expressions, evaluate symbolic sums, and solve certain difference ...
Zeilberger
A Maxima Implementation of Gosper's and Zeilberger's Algorithm
Zeilberger is an implementatian for the free and open source Maxima computer algebra system of Gosper's and Zeilberger's algorithm for proving and finding indefinite and definite hypergeometric summation identities. The package has been developed by Fabrizio Caruso, a former Ph. ...
Publications
2020
Evaluation of binomial double sums involving absolute values
C. Krattenthaler, C. Schneider
In: Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra, in Honour of Peter Paule on his 60th Birthday, V. Pillwein, C. Schneider (ed.), Texts and Monographs in Symbolic Computuation, in press , pp. ?-?. 2020. Springer, arXiv:1607.05314 [math.CO]. [url]author = {C. Krattenthaler and C. Schneider},
title = {{Evaluation of binomial double sums involving absolute values}},
booktitle = {{Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra, in Honour of Peter Paule on his 60th Birthday}},
language = {english},
series = {Texts and Monographs in Symbolic Computuation, in press},
pages = {?--?},
publisher = {Springer},
isbn_issn = {?},
year = {2020},
note = {arXiv:1607.05314 [math.CO]},
editor = {V. Pillwein and C. Schneider},
refereed = {yes},
length = {36},
url = {https://arxiv.org/abs/1607.05314}
}
Minimal representations and algebraic relations for single nested products
C. Schneider
Programming and Computer Software, in press 46(2), pp. ?-?. 2020. ISSN 1608-3261. arXiv:1911.04837 [cs.SC]. [url]author = {C. Schneider},
title = {{Minimal representations and algebraic relations for single nested products}},
language = {english},
journal = {Programming and Computer Software, in press},
volume = {46},
number = {2},
pages = {?--?},
isbn_issn = {ISSN 1608-3261},
year = {2020},
note = {arXiv:1911.04837 [cs.SC]},
refereed = {yes},
length = {0},
url = {https://arxiv.org/abs/1911.04837}
}
Three loop QCD corrections to heavy quark form factors
J. Ablinger, J. Blümlein, P. Marquard, N. Rana, C. Schneider
In: Proceedings of ACAT 2019, to appear, pp. -. 2020. arXiv:1905.03728 [hep-ph]. [url]author = {J. Ablinger and J. Blümlein and P. Marquard and N. Rana and C. Schneider},
title = {{Three loop QCD corrections to heavy quark form factors}},
booktitle = {{Proceedings of ACAT 2019}},
language = {english},
volume = {to appear},
pages = {--},
isbn_issn = {?},
year = {2020},
note = {arXiv:1905.03728 [hep-ph]},
editor = {?},
refereed = {no},
length = {9},
url = {https://arxiv.org/abs/1905.03728}
}
From Momentum Expansions to Post-Minkowskian Hamiltonians by Computer Algebra Algorithms
J. Blümlein, A. Maier, P. Marquard, G. Schäfer, C. Schneider
Physics Letters B 801(135157), pp. 1-8. 2020. ISSN 0370-2693. arXiv:1911.04411 [gr-qc]. [url]author = {J. Blümlein and A. Maier and P. Marquard and G. Schäfer and C. Schneider},
title = {{From Momentum Expansions to Post-Minkowskian Hamiltonians by Computer Algebra Algorithms}},
language = {english},
journal = {Physics Letters B},
volume = {801},
number = {135157},
pages = {1--8},
isbn_issn = {ISSN 0370-2693},
year = {2020},
note = {arXiv:1911.04411 [gr-qc]},
refereed = {yes},
length = {8},
url = {https://doi.org/10.1016/j.physletb.2019.135157}
}
Heavy quark form factors at three loops
J. Blümlein, P. Marquard, N. Rana, C. Schneider
In: 14th International Symposium on Radiative Corrections (RADCOR2019), D. Kosower, M. Cacciari (ed.)POS(RADCOR2019)013, in press, pp. 1-7. 2020. ISSN 1824-8039. [url]author = {J. Blümlein and P. Marquard and N. Rana and C. Schneider},
title = {{Heavy quark form factors at three loops}},
booktitle = {{14th International Symposium on Radiative Corrections (RADCOR2019)}},
language = {english},
volume = {POS(RADCOR2019)013, in press},
pages = {1--7},
isbn_issn = {ISSN 1824-8039},
year = {2020},
editor = {D. Kosower and M. Cacciari},
refereed = {yes},
length = {7},
url = {https://pos.sissa.it/375/013/}
}
A refined machinery to calculate large moments from coupled systems of linear differential equations
Johannes Blümlein, Peter Marquard, Carsten Schneider
In: 4th International Symposium on Radiative Corrections (RADCOR2019), D. Kosower, M. Cacciari (ed.), POS(RADCOR2019)013, in press , pp. 1-13. 2020. ISSN 1824-8039. arXiv:1912.04390 [cs.SC]. [url]author = {Johannes Blümlein and Peter Marquard and Carsten Schneider},
title = {{A refined machinery to calculate large moments from coupled systems of linear differential equations}},
booktitle = {{4th International Symposium on Radiative Corrections (RADCOR2019)}},
language = {english},
series = {POS(RADCOR2019)013, in press},
pages = {1--13},
isbn_issn = {ISSN 1824-8039},
year = {2020},
note = {arXiv:1912.04390 [cs.SC]},
editor = {D. Kosower and M. Cacciari},
refereed = {yes},
length = {13},
url = {https://pos.sissa.it/375/078/}
}
The Polarized Three-Loop Anomalous Dimensions from a Massive Calculation
A. Behring, J. Blümlein, A. De Freitas, A. Goedicke, S. Klein, A. van Manteuffel, C. Schneider, K. Schönwald
In: 14th International Symposium on Radiative Corrections (RADCOR2019), D. Kosower, M. Cacciari (ed.), POS(RADCOR2019)047, in press arXiv:1911.06189 [hep-ph], pp. 1-10. 2020. ISSN 1824-8039. [url]author = {A. Behring and J. Blümlein and A. De Freitas and A. Goedicke and S. Klein and A. van Manteuffel and C. Schneider and K. Schönwald},
title = {{The Polarized Three-Loop Anomalous Dimensions from a Massive Calculation}},
booktitle = {{14th International Symposium on Radiative Corrections (RADCOR2019)}},
language = {english},
series = {POS(RADCOR2019)047, in press},
number = {arXiv:1911.06189 [hep-ph]},
pages = {1--10},
isbn_issn = {ISSN 1824-8039},
year = {2020},
editor = {D. Kosower and M. Cacciari},
refereed = {yes},
length = {10},
url = {https://pos.sissa.it/375/047/}
}
The three-loop polarized pure singlet operator matrix element with two different masses
J. Ablinger, J. Blümlein, A. De Freitas, M. Saragnese, C. Schneider, K. Schönwald
Nuclear Physics B 952(114916), pp. 1-18. 2020. ISSN 0550-3213. arXiv:1911.11630 [hep-ph]. [url]author = {J. Ablinger and J. Blümlein and A. De Freitas and M. Saragnese and C. Schneider and K. Schönwald},
title = {{The three-loop polarized pure singlet operator matrix element with two different masses}},
language = {english},
journal = {Nuclear Physics B },
volume = {952},
number = {114916},
pages = {1--18},
isbn_issn = {ISSN 0550-3213},
year = {2020},
note = {arXiv:1911.11630 [hep-ph]},
refereed = {yes},
length = {18},
url = {https://doi.org/10.1016/j.nuclphysb.2020.114916}
}
Three loop heavy quark form factors and their asymptotic behavior
J. Ablinger, J. Blümlein, P. Marquard, N. Rana, C. Schneider
In: To appear in Proc.of 23rd DAE-BRNS High Energy Physics Symposium 2018, , pp. ?-?. 2020. arXiv:1906.05829 [hep-ph]. [url]author = {J. Ablinger and J. Blümlein and P. Marquard and N. Rana and C. Schneider},
title = {{Three loop heavy quark form factors and their asymptotic behavior}},
booktitle = {{To appear in Proc.of 23rd DAE-BRNS High Energy Physics Symposium 2018}},
language = {english},
pages = {?--?},
isbn_issn = {?},
year = {2020},
note = {arXiv:1906.05829 [hep-ph]},
editor = {?},
refereed = {no},
length = {8},
url = {https://arxiv.org/abs/1906.05829}
}
2019
Discovering and Proving Infinite Pochhammer Sum Identities
J. Ablinger
Experimental Mathematics, pp. 1-15. 2019. Taylor & Francis, 10.1080/10586458.2019.1627254. [url]author = {J. Ablinger},
title = {{Discovering and Proving Infinite Pochhammer Sum Identities}},
language = {english},
journal = {Experimental Mathematics},
pages = {1--15},
publisher = {Taylor & Francis},
isbn_issn = {?},
year = {2019},
note = {10.1080/10586458.2019.1627254},
refereed = {yes},
length = {15},
url = {https://doi.org/10.1080/10586458.2019.1627254}
}
Proving two conjectural series for $\zeta(7)$ and discovering more series for $\zeta(7)$.
J. Ablinger
arXiv. Technical report, 2019. [url]author = {J. Ablinger},
title = {{Proving two conjectural series for $\zeta(7)$ and discovering more series for $\zeta(7)$.}},
language = {english},
year = {2019},
institution = {arXiv},
length = {5},
url = {https://arxiv.org/pdf/1908.06631.pdf}
}
Polynomial Identities Implying Capparelli's Partition Theorems
Ali Kemal Uncu, Alexander Berkovich
Accepted - Journal of Number Theory, pp. -. 2019. N/A. [url]author = {Ali Kemal Uncu and Alexander Berkovich},
title = {{Polynomial Identities Implying Capparelli's Partition Theorems }},
language = {english},
journal = {Accepted - Journal of Number Theory},
pages = {--},
isbn_issn = {N/A},
year = {2019},
refereed = {yes},
length = {21},
url = {https://arxiv.org/pdf/1807.10974.pdf}
}
Refined q-Trinomial Coefficients and Two Infinite Hierarchies of q-Series Identities
Ali Kemal Uncu, Alexander Berkovich
ArXiv e-prints (accepted), pp. 1-10. 2019. N/A. [url]author = {Ali Kemal Uncu and Alexander Berkovich},
title = {{Refined q-Trinomial Coefficients and Two Infinite Hierarchies of q-Series Identities }},
language = {english},
abstract = {We will prove an identity involving refined q-trinomial coefficients. We then extend this identity to two infinite families of doubly bounded polynomial identities using transformation properties of the refined q-trinomials in an iterative fashion in the spirit of Bailey chains. One of these two hierarchies contains an identity which is equivalent to Capparelli's first Partition Theorem. },
journal = {ArXiv e-prints (accepted)},
pages = {1--10},
isbn_issn = {N/A},
year = {2019},
refereed = {yes},
length = {10},
url = {https://arxiv.org/abs/1810.12048}
}
A q-analogue for Euler’s evaluations of the Riemann zeta function
Ankush Goswami
Research in Number Theory 5:3, pp. 1-11. 2019. Springer, 10.1007.author = {Ankush Goswami},
title = {{A q-analogue for Euler’s evaluations of the Riemann zeta function}},
language = {english},
journal = {Research in Number Theory},
volume = {5:3},
pages = {1--11},
publisher = {Springer},
isbn_issn = {10.1007},
year = {2019},
refereed = {yes},
length = {11}
}
A q-analogue for Euler’s $\zeta(6)=\pi^6/6$
Ankush Goswami
In: Combinatory Analysis 2018: A Conference in Honor of George Andrews' 80th Birthday, Springer-Birkhauser (ed.), Proceedings of Combinatory Analysis 2018: A Conference in Honor of George Andrews' 80th Birthday, pp. 1-5. 2019. none.author = {Ankush Goswami},
title = {{A q-analogue for Euler’s $\zeta(6)=\pi^6/6$}},
booktitle = {{Combinatory Analysis 2018: A Conference in Honor of George Andrews' 80th Birthday}},
language = {english},
pages = {1--5},
isbn_issn = {none},
year = {2019},
editor = {Springer-Birkhauser},
refereed = {yes},
length = {5},
conferencename = {Combinatory Analysis 2018: A Conference in Honor of George Andrews' 80th Birthday}
}
Some Problems in Analytic Number Theory
Ankush Goswami
University of Florida. PhD Thesis. 2019. First part of this thesis is to appear in Proceedings of Analytic and Combinatorial Number Theory: The Legacy of Ramanujan - A CONFERENCE IN HONOR OF BRUCE C. BERNDT'S 80TH BIRTHDAY.author = {Ankush Goswami},
title = {{Some Problems in Analytic Number Theory}},
language = {english},
year = {2019},
note = {First part of this thesis is to appear in Proceedings of Analytic and Combinatorial Number Theory: The Legacy of Ramanujan -- A CONFERENCE IN HONOR OF BRUCE C. BERNDT'S 80TH BIRTHDAY},
translation = {0},
school = {University of Florida},
length = {90}
}
Construction of all Polynomial Relations among Dedekind Eta Functions of Level $N$
Ralf Hemmecke, Silviu Radu
Journal of Symbolic Compuation 95, pp. 39-52. 2019. ISSN 0747-7171. Also available as RISC Report 18-03 http://www.risc.jku.at/publications/download/risc_5561/etarelations.pdf. [url]author = {Ralf Hemmecke and Silviu Radu},
title = {{Construction of all Polynomial Relations among Dedekind Eta Functions of Level $N$}},
language = {english},
abstract = {We describe an algorithm that, given a positive integer $N$,computes a Gr\"obner basis of the ideal of polynomial relations among Dedekind$\eta$-functions of level $N$, i.e., among the elements of$\{\eta(\delta_1\tau),\ldots,\eta(\delta_n\tau)\}$ where$1=\delta_1<\delta_2\dots<\delta_n=N$ are the positive divisors of$N$.More precisely, we find a finite generating set (which is also aGr\"obner basis of the ideal $\ker\phi$ where\begin{gather*} \phi:Q[E_1,\ldots,E_n] \to Q[\eta(\delta_1\tau),\ldots,\eta(\delta_n\tau)], \quad E_k\mapsto \eta(\delta_k\tau), \quad k=1,\ldots,n.\end{gather*}},
journal = {Journal of Symbolic Compuation},
volume = {95},
pages = {39--52},
isbn_issn = {ISSN 0747-7171},
year = {2019},
note = {Also available as RISC Report 18-03 http://www.risc.jku.at/publications/download/risc_5561/etarelations.pdf},
refereed = {yes},
keywords = {Dedekind $\eta$ function, modular functions, modular equations, ideal of relations, Groebner basis},
length = {14},
url = {https://doi.org/10.1016/j.jsc.2018.10.001}
}
Construction of Modular Function Bases for $\Gamma_0(121)$ related to $p(11n+6)$
Ralh Hemmecke, Peter Paule, Silviu Radu
Technical report no. 19-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. October 2019. [url] [pdf]author = {Ralh Hemmecke and Peter Paule and Silviu Radu},
title = {{Construction of Modular Function Bases for $\Gamma_0(121)$ related to $p(11n+6)$}},
language = {english},
number = {19-10},
year = {2019},
month = {October},
keywords = {Ramanujan identities, bases for modular functions, integral bases},
sponsor = {FWF (SFB F50-06)},
length = {16},
url = {https://risc.jku.at/people/hemmecke/papers/integralbasis/},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}
The Generators of all Polynomial Relations among Jacobi Theta Functions
Ralf Hemmecke, Silviu Radu, Liangjie Ye
In: Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory, Johannes Blümlein and Carsten Schneider and Peter Paule (ed.), Texts & Monographs in Symbolic Computation 18-09, pp. 259-268. 2019. Springer International Publishing, Cham, 978-3-030-04479-4. Also available as RISC Report 18-09 http://www.risc.jku.at/publications/download/risc_5719/thetarelations.pdf. [url]author = {Ralf Hemmecke and Silviu Radu and Liangjie Ye},
title = {{The Generators of all Polynomial Relations among Jacobi Theta Functions}},
booktitle = {{Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory}},
language = {english},
abstract = {In this article, we consider the classical Jacobi theta functions$\theta_i(z)$, $i=1,2,3,4$ and show that the ideal of all polynomialrelations among them with coefficients in$K :=\setQ(\theta_2(0|\tau),\theta_3(0|\tau),\theta_4(0|\tau))$ isgenerated by just two polynomials, that correspond to well knownidentities among Jacobi theta functions.},
series = {Texts & Monographs in Symbolic Computation},
number = {18-09},
pages = {259--268},
publisher = {Springer International Publishing},
address = {Cham},
isbn_issn = {978-3-030-04479-4},
year = {2019},
note = {Also available as RISC Report 18-09 http://www.risc.jku.at/publications/download/risc_5719/thetarelations.pdf},
editor = {Johannes Blümlein and Carsten Schneider and Peter Paule},
refereed = {yes},
length = {9},
url = {https://doi.org/10.1007/978-3-030-04480-0_11}
}
A Computable Extension for Holonomic Functions: DD-Finite Functions
Jiménez-Pastor Antonio, Pillwein Veronika
Journal of Symbolic Computation 94, pp. 90-104. September-October 2019. ISSN 0747-7171. [url]author = {Jiménez-Pastor Antonio and Pillwein Veronika},
title = {{A Computable Extension for Holonomic Functions: DD-Finite Functions}},
language = {english},
abstract = {Differentiably finite (D-finite) formal power series form a large class of useful functions for which a variety of symbolic algorithms exists. Among these methods are several closure properties that can be carried out automatically. We introduce a natural extension of these functions to a larger class of computable objects for which we prove closure properties. These are again algorithmic. This extension can be iterated constructively preserving the closure properties},
journal = {Journal of Symbolic Computation},
volume = {94},
pages = {90--104},
isbn_issn = {ISSN 0747-7171},
year = {2019},
month = {September-October},
refereed = {yes},
length = {15},
url = {https://doi.org/10.1016/j.jsc.2018.07.002}
}