Yi Zhang

Welcome to Yi Zhang's Homepage

RISC Logo

Education:

09/2013 -- 02/2017 Ph.D.* in Mathematics with distinction, Institute for Algebra, Johannes Kepler University Linz, 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, Suzhou, 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:

01/2025 -- Associate Professor at Department of Foundational Mathematics, Xi'an Jiaotong-Liverpool University, Suzhou, China.
02/2020 -- 12/2024 Assistant Professor at Department of Foundational Mathematics, Xi'an Jiaotong-Liverpool University, Suzhou, China.
09/2018 -- 01/2020 Research Associate at Department of Mathematical Sciences, The University of Texas at Dallas, Dallas, USA. (Advisor: Prof. Carlos E. Arreche)
03/2017 -- 08/2018 Postdoctoral Researcher at Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Academy of Sciences, Linz, Austria. (Advisor: Prof. Christoph Koutschan)

Visiting Experience:

06/2019 -- 07/2019 Visiting Scholar at Faculty of Mathematics and Statistics, Ton Duc Thang University, Ho Chi Minh City, Vietnam. (Host researcher: Dr. Thieu N. Vo)
05/2017 Visiting Scholar at Department of Mathematics, Kobe University, Kobe, Japan. (Host researcher: Prof. Nobuki Takayama)

Research Interests:

Contact:

Email
PGP pubic key 1E80 387F F918 7028 C570 6CCB 3E57 3B5E A346 4A0C
sMail Dr. Yi Zhang
Department of Foundational Mathematics
Xi'an Jiaotong-Liverpool University (XJTLU)
111 Ren'ai Road, Suzhou Dushu Lake Science and Education Innovation District
Suzhou Industrial Park, Suzhou, China, 215123
Office MB 251
Phone +86 0512 8188 9056

PhD Thesis:

Talk:

Publication:

Research Note:

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

Teaching Experience:

Fall 2024 Lecturer (Linear Algebra), Xi'an Jiaotong-Liverpool University.
Spring 2024 Lecturer (Multivariate Calculus), Xi'an Jiaotong-Liverpool University.
Fall 2023 Lecturer (Linear Algebra), Xi'an Jiaotong-Liverpool University.
Spring 2023 Lecturer (Multivariate Calculus), Xi'an Jiaotong-Liverpool University.
Fall 2022 Lecturer (Linear Algebra), Xi'an Jiaotong-Liverpool University.
Spring 2022 Lecturer (Multivariate Calculus), Xi'an Jiaotong-Liverpool University.
Fall 2021 Lecturer (Analysis 1), Xi'an Jiaotong-Liverpool University.
Spring 2021 Lecturer (Multivariate Calculus), Xi'an Jiaotong-Liverpool University.
Fall 2020 Lecturer (Analysis 1), Xi'an Jiaotong-Liverpool University.
Spring 2020 Lecturer (Multivariate Calculus), Xi'an Jiaotong-Liverpool University.
Fall 2019 Instructor (Integral Calculus), The University of Texas at Dallas.
Spring 2019 Instructor (Linear Algebra), The University of Texas at Dallas.

Software:

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.
  • Discrete_Log_Concavity_Hyper.nb, a Mathematica notebook for proving the discrete log-concavity of certain hypergeometric functions by using Cylindrical Algebraic Decomposition. It is based on joint work with Dmitrii Karp.
  • Fake_Degree_Sequence.nb, a Mathematica notebook for computing a linear q-difference equation satisfied by the fake degree sequence associated to a given representation and a given simple complex Lie algebra by the method of creative telescoping and the closure properties of the class of q-holonomic sequences. It is based on joint work with Bruce W. Westbury. The notebook requires the availability of Koutschan's package HolonomicFunctions.m.
  • Mihailovs_Conjecture.nb, a Mathematica notebook for proving Mihailovs' conjecure by the method of creative telescoping. It is based on joint work with Alin Bostan, Jordan Tirrell, and Bruce W. Westbury. The notebook requires the availability of Koutschan's package HolonomicFunctions.m.
  • TestNonvanishing.nb, a Mathematica notebook for checking the nonvanishing property of algebraic ordinary differential equations in Kamke's collection. It is based on joint work with Sebastian Falkensteiner and Thieu N. Vo. The notebook requires the availability of the Mathematica package Kamke_ODE.m.
  • zof.m, a Mathematica package for generating 0-1-fillings of a Ferrers board (shape), checking the number of sigma-avoiding 0-1-fillings of a Ferrers board, generating generalized 0-1-fillings of a Ferrers board, and checking the number of generalized 0-1-fillings of a Ferrers board with weight n such that the longest ne-chain has length u and the longest se-chain has length v. It is based on joint work with Ting Guo and Christian Krattenthaler. For a demonstration of the package, see the zof.nb notebook.
  • Example1_HGM.nb, a Mathematica notebook for the demonstration of the holonomic gradient method for the evaluation of expection of an Euler characteristic number. It is based on joint work with Nobuki Takayama, Lin Jiu and Satoshi Kuriki . The notebook requires the availability of Koutschan's package HolonomicFunctions.m.
  • KamkeODEs.mw, a Maple worksheet for checking the (completely) maximal comparability and noncriticality of algebraic ordinary differential equations in Kample's collection. It is based on joint work with Thieu N. Vo. 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 Christoph Koutschan. The package requires the availability of Koutschan's package HolonomicFunctions.m and Kauers's package Singular.m. For a description of the usage of the package, see the Example.nb notebook.

Must See Places In Paris
Number of Visitors