Publication List

  1. Additive Decompositions in Primitive Extensions.
    Proceedings of ISSAC'18, pp. 135–142, ACM Press, 2018.
    with Hao Du and Ziming Li:
    [Preprint] [Published version].

  2. Bivariate Extensions of Abramov's Algorithm for Rational Summation.
    Advances in Computer Algebra, In Honour of Sergei Abramov's 70th Birthday, edited by C.Schneider, E.Zima, Springer Proceedings in Mathematics and Statistics 226, 93–104, 2018:
    [Preprint] [Published version].

  3. Reduction-based Creative Telescoping for Fuchsian D-finite Functions.
    Journal of Symbolic Computation, 85: 108–127, 2018.
    with Mark van Hoeij , Manuel Kauers, Christoph Koutschan:
    [Preprint] [Published version].

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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