Publication List

  1. Power Series with Coefficients from a Finite Set.
    Journal of Combinatorial Theory, Series A., 151: pp. 241–253, 2017.
    with Jason P. Bell:
    [Preprint] [Published version].

  2. 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].

  3. 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].

  4. 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].

  5. 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].

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

  7. 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].

  8. 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].

  9. 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].
  10. A Generalized Apagodu-Zeilberger Algorithm.
    Proceedings of ISSAC'14, pp. 107–114, ACM Press, 2014.
    with Manuel Kauers, Christoph Koutschan:
    [Preprint] [Published version].

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

  12. 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].

  13. 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].

  14. 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].

  15. 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].

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

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

  18. 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].

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

  20. 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].

  21. 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].