Shaoshi Chen (Chinese Academy of Sciences, China)
Frederic Chyzak (INRIA Saclay, France)
Antonio JimenezPastor (Ecole Polytechnique, France)
Manuel Kauers (Johannes Kepler University in Linz, Austria)
Veronika Pillwein (Johannes Kepler University in Linz, Austria)
Dfinite functions are solutions of homogeneous linear differential equations with rational function coefficients.
This is an important class of special functions since it appears ubiquitously in algebra, combinatorics, and number theory.
The Dfiniteness of generating functions reflects the complexity of combinatorial classes, which is closed under addition,
multiplication, and taking diagonals. This makes Dfinite function become a standard data structure for the manipulation
of special functions in symbolic computation and combintorics. Dfinite functions admit a lot of algorithmic
extensions, such as DDfinite functions and series defined by quadratic differential equations etc. The goal of
this session is to create an exchanging forum for researchers who are working on the algorithmic,combinatorial,
and arithmetic aspects of Dfinite functions.
1. Jason P. Bell ( University of Waterloo)
2. Lixin Du (AMSS, Chinese Academy of Sciences and Johannes Kepler University in Linz)
3. Ruyong Feng (AMSS, Chinese Academy of Sciences)
4. Alexandre Goyer (INRIA)
5. Hui Huang (Dalian University of Technology)
6. Antonio Jim¨¦nezPastor (Ecole Polytechnique)
7. Ziming Li (AMSS, Chinese Academy of Sciences)
8. Eike Neumann (University of Oxford)
9. Philipp Nuspl (Johannes Kepler University in Linz)
10. Raphael Pages ( Universit¨¦ de Bordeaux)
11. Mohammad Sadek (Sabanci University)
12. Bertrand Teguia Tabuguia ( Max Planck Institute)
13. Ali Uncu (University of Bath and Austrian Academy of Sciences)
Program is here [PDF]( Istanbul time GTM+3 )
August 16, 2022 (Tuesday) S6
Time 
Title 
Speaker 
16:3017:00 
qDifference Equation Systems for Cylindric Partitions 
Ali Uncu 
17:0017:30 
Series defined by quadratic differential equations 
Bertrand Teguia Tabuguia (online) 
17:3018:00 
SymbolicNumeric Factorization of Differential Operators 
Alexandre Goyer 
August 18, 2022 (Thursday) S6
Time 
Title 
Speaker 
9:3010:00 
Shift equivalence testing of polynomials and symbolic summation of multivariate rational functions 
Lixin Du 
10:0010:30 
Arithmetic of polynomial dynamical systems 
Mohammad Sadek 
10:3011:00 
Decision Problems for SecondOrder Holonomic Recurrences 
Eike Neumann (online) 
August 19, 2022 (Friday) S6
Time 
Title 
Speaker 
9:3010:00 
C^2 finite Sequences: A Computational Approach 
Philipp Nuspl 
10:0010:30 
Factoring differential operators in positive characteristic 
Raphael Pages 
10:3011:00 
Working with DDfinite functions automatically on SageMath 
Antonio JiménezPastor 
August 19, 2022 (Friday) S6
Time 
Title 
Speaker 
11:3012:00 
Galois groups of linear differencedifferential equations 
Ruyong Feng (online) 
12:0012:30 
Computing logarithmic parts by 
Ziming Li (online) 
Lunch Break 


14:0014:30 
Efficient qinteger linear decomposition of multivariate polynomials 
Hui Huang (online) 
14:3015:00 
Dfiniteness, rationality, and height 
Jason P. Bell (online) 