Yi Zhang

Welcome to Yi Zhang's Homepage



09/2013 -- 02/2017 Ph.D.* in Mathematics with distinction, Institute for Algebra, Johannes Kepler University Linz, Austria (Co-supervisors: Prof. Manuel Kauers and Prof. Ziming Li).
09/2011 -- 07/2016 Ph.D. in Applied Mathematics, Key Laboratory of Mathematics Mechanization, AMSS, University of Chinese Academy of Sciences, Beijing, China (Co-supervisors: Prof. Manuel Kauers and Prof. Ziming Li).
09/2007 -- 07/2011 B.Sc. in Mathematics, School of Mathematical Sciences, Soochow University, Soochow, China.

*I also studied as a Ph.D. student in Research Institute for Symbolic Computation, Johannes Kepler University Linz from 09/2013 to 06/2015 under the supervision of Prof. Manuel Kauers.

Work Experience:

03/2017 -- 02/2018 Postdoc researcher in Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Acedemy of Sciences, Austria. (Supervisor: Dr. Christoph Koutschan)

Visiting Experience:

May 2017 Visiting scholar at Department of Mathematics, Kobe University, Japan. (Host researcher: Prof. Nobuki Takayama)

Research Interests:


PGP pubic key 1E80 387F F918 7028 C570 6CCB 3E57 3B5E A346 4A0C
sMail Dr. Yi Zhang
Johann Radon Institute for Computational and Applied Mathematics (RICAM)
Austrian Academy of Sciences
Altenbergerstra├če 69
A-4040 Linz, Austria
Office S2 0435 (Science Park II)
Phone +43 732 2468 5235

PhD Thesis:



  • N. Thieu Vo and Yi Zhang. Laurent Series Solutions of Algebraic Ordinary Differential Equations, September, 2017. [pdf] arXiv 1709.04174
  • Shaoshi Chen, Manuel Kauers, Ziming Li and Yi Zhang. Apparent Singularities of D-finite Systems, May, 2017. [pdf] arXiv 1705.00838
  • Yi Zhang. Contraction of Ore Ideals with Applications, In Proceedings of the 2016 International Symposium on Symbolic and Algebraic Computation, pages 413-420, ACM Press, 2016. [pdf] [DOI]

Research Notes:

  • Ziming Li and Yi Zhang. A Note on Groebner Bases of Ore Polynomials over a PID, 2016. [pdf]


Unless otherwise stated, the software provided on this web site is free. You can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software foundation; either version 2 of the licence, or (at your option) any later version. The program is distributed in in the hope that they will be useful, but without any warranty; without even the implied warranty of merchantability or fitness for a particular purpose. See the GNU General Public Licence for more details.
  • KamkeODEs.mw A Maple worksheet for checking the maximal comparability and noncriticality of algebraic ordinary differential equations in Kample's collection. It is based on joint work with Dr. Thieu Vo Ngoc. The worksheet requires the availability of the Maple package KamkeODEs.mpl.
  • qDesingularization.m A Mathematica package for computing desingularized operators and the q-Weyl closure of a given q-difference operator in the first q-Weyl algebra. It is based on joint work with Dr. Christoph Koutschan. The package requires the availability of Koutschan's package HolonomicFunctions.m and Kauer's pacakge Singular.m For a description of the usage of the package, see the Example.nb notebook.