Symbolic Computation, Combinatorics, Differential Algebra

2001/09 -- 2005/07, B.Sci.,  Mathematics, Jiangsu University , Jiangsu, China.

2005/09 -- 2010/12, Ph.D.,  Applied Mathematics, Academy of Mathematics and Systems Science , Chinese Academy of Sciences, Beijing, China.  Supervisor:  Ziming Li (AMSS, China).

2007/12 -- 2011/02, Ph.D.,  Computer Science, co-directed between Academy of Mathematics and Systems Science (Beijing, China) and École Polytechnique   (Paris, France).

Co-supervisors:  Frédéric Chyzak (INRIA, France)  and Ziming Li (AMSS, China).

​

2017/03 -- present, Associate Professor, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing, China.

2013/07 -- 2017/03, Assistant Professor, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing, China.

2015/10 -- 2016/08, Fields-Ontario Postdoctoral Fellow, Fields Institute and Faculty of Mathematics, University of Waterloo, Ontario, Canada.  Working with Stephen M. Watt and George Labahn.

2011/08 -- 2013/07, Post-Doctoral Fellow, Department of Mathematics, North Carolina State University, Raleigh, USA.  Working with Michael F. Singer.

2011/02 -- 2011/08, Post-Doctoral Fellow, Research Institute for Symbolic Computation, Johannes Kepler University Linz, Hagenberg, Austria.  Working with Manuel Kauers.

1. Some Open Problems Related to Creative Telescoping.
   Journal of Systems Science and Complexity 30(1): pp. 154–172, 2017.
   with Manuel Kauers:
   [Preprint] [Published version].
   

2. Combinatorics of Hybrid Sets.
   Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'16), pp. 60–64, IEEE, 2016.
   with Stephen M. Watt:
   [Preprint] [Published version].
   

3. Existence Problem of Telescopers: Beyond the Bivariate Case.
   Proceedings of ISSAC'16, pp. 167–174, ACM Press, 2016.
   with Qing-hu Hou , George Labahn, Ronghua Wang:
   [Preprint] [Published version].
   

4. Reduction-Based Creative Telescoping for Algebraic Functions.
   Proceedings of ISSAC'16, pp. 175–182, ACM Press, 2016.
   with Manuel Kauers, Christoph Koutschan:
   [Preprint] [Published version].
   

5. Desingularization of Ore Operators.
   Journal of Symbolic Computation 74(C): 617-626, 2016.
   with Manuel Kauers, Michael F. Singer :
   [Preprint] [Published version].
   

6. A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms.
   Proceedings of ISSAC'15, pp. 117–124, ACM Press, 2015.
   with Hui Huang, Manuel Kauers, Ziming Li :
   [Preprint] [Published version].
   

7. On the Existence of Telescopers for Mixed Hypergeometric Terms
   Journal of Symbolic Computation 68:1-26, 2015.
   with Frédéric Chyzak, Ruyong Feng, Guofeng Fu, Ziming Li:
   [Preprint] [Published version].
   

8. Parallel Telescoping and Parameterized Picard-Vessiot Theory.
   Proceedings of ISSAC'14, pp. 99–106, ACM Press, 2014.
   with Ruyong Feng, Ziming Li, Michael F. Singer:
   [Preprint] [Published version].
   
9. A Generalized Apagodu-Zeilberger Algorithm.
   Proceedings of ISSAC'14, pp. 107–114, ACM Press, 2014.
   with Manuel Kauers, Christoph Koutschan:
   [Preprint] [Published version].
   

10. On the Summability of Bivariate Rational Functions.
    Journal of Algebra, 409(2):320–343, 2014.
    with Michael F. Singer :
    [Preprint] [Published version].
    

11. Hermite Reduction and Creative Telescoping for Hyperexponential Functions.
    Proceedings of ISSAC'13, pp. 77–84, ACM Press, 2013.
    with Alin Bostan, Frédéric Chyzak, Ziming Li, Guoce Xin : [Supplementary material].
    [Preprint] [Published version].
    

12. Desingularization Explains Order-Degree Curves for Ore Operators.
    Proceedings of ISSAC'13, pp. 157–164, ACM Press, 2013.
    with Maximilian Jaroschek, Manuel Kauers, Michael F. Singer:
    [Preprint] [Published version].
    

13. A Note on the Diagonal Theorem of Bivariate Rational Formal Power Series (in Chinese).
    Acta Mathematica Sinica Chinese Series, 56 (2): 203--210, 2013.
    with Xiaoli Wu:
    [Preprint] [Published version].
    

14. Multiplicative Decompositions of Multivariate q-Hypergeometric Terms (in Chinese).
    Journal of System Science and Mathematical Science Chinese Series, 32 (8): 1019-1032, 2012.
    with Ruyong Feng, Guofeng Fu, Jin Kang:
    [Preprint] [Published version].
    

15. Residues and Telescopers for Bivariate Rational Functions.
    Advance in Applied Mathematics, 49(2):111–133, 2012.
    with Michael F. Singer :
    [Preprint] [Published version].
    

16. Order-Degree Curves for Hypergeometric Creative Telescoping.
    Proceedings of ISSAC'12, pp. 122–129, ACM Press, 2012.
    with Manuel Kauers:
    [Preprint] [Published version].
    

17. Telescopers for Rational and Algebraic Functions via Residues.
    Proceedings of ISSAC'12, pp. 130–137, ACM Press, 2012.
    with Manuel Kauers, Michael F. Singer :
    [Preprint] [Published version].
    

18. Trading Order for Degree in Creative Telescoping
    Journal of Symbolic Computation 47(8):968-995, 2012.
    with Manuel Kauers:
    [Preprint] [Published version].
    

19. On the Structure of Compatible Rational Functions.
    Proceedings of ISSAC'11, pp. 91–98, ACM Press, 2011.
    with Ruyong Feng, Guofeng Fu, Ziming Li :
    [Preprint] [Published version].
    

20. Complexity of Creative Telescoping for Bivariate Rational Functions.
    Proceedings of ISSAC'10, pp. 203–210, ACM Press, 2010.
    with Alin Bostan, Frédéric Chyzak, Ziming Li :
    [Preprint] [Published version].

1. Apparent Singularities of D-finite Systems.
   with       Manuel Kauers,Ziming Li, Yi Zhang :  [PDF]
2. Reduction-based Creative Telescoping for Fuchsian D-finite Functions.
   with       Mark van Hoeij , Manuel Kauers, Christoph Koutschan:  [PDF]

3. Proof of the Wilf-Zeilberger Conjecture for Mixed Hypergeometric Terms.
   with       Christoph Koutschan:  [PDF]

4. Power Series with Coefficients from a Finite Set.
   with       Jason P. Bell:  [PDF]

​

Wilf-Zeilberger Theory, Arithmetic Aspects of Power Series, Algebraic Theory of Differential and Difference Equations