Shaoshi Chen 陈绍示
Associate Professor
Key Laboratory of Mathematics Mechanization
Academy of Mathematics and Systems Science
Chinese Academy of Sciences
East Road 55, Zhongguancun, 100190, Beijing.
Email:  schenATamss.ac.cn

Research Interests:

    Symbolic Computation
    Differential and Difference Algebra
    Combinatorics (Wilf-Zeilberger Method, Rationality Theorems)

Education:

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

    Dissertation: Some Applications of Differential-Difference Algebra to Creative Telescoping (version in Chinese)

Positions:

    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.

Editorial Boards:
ACM Communication in Computer Algebra [Journal Homepage] (Since 2014)
Annals of Combinatorics [Journal Homepage] (Since 2019)
系统科学与数学 (Journal of System Science and Mathematical Science Chinese Series) [Journal Homepage] (Since 2019)
Journal of Systems Science and Complexity [Journal Homepage] (Since 2020)

Preprints:

    Rational Dynamical Systems, S-units, and D-finite Power Series, 2020.
    with Jason P. Bell and Ehsaan Hossain: [PDF]

    Integral Bases for P-Recursive Sequences, 2020.
    with Lixin Du, Manuel Kauers, and Thibaut Verron: [PDF]

    On the Existence of Telescopers for Rational Functions in Three Variables, 2020.
    with Lixin Du, Rong-hua Wang and Chaochao Zhu: [PDF]

    Constructing minimal telescopers for rational functions in three discrete variables, 2019.
    with Qing-hu Hou, Hui Huang, George Labahn, and Rong-hua Wang: [PDF]

Published Papers: publist
Talks:

    A Reduction Approach to Creative Telescoping. ISSAC2019 Tutorial Lectures, Beihang University, Beijing, China, 2019. [Slides] [Extended Abstract]

    How to generate all possible WZ-pairs algorithmically? Chinese Mathematical Society 2018 Annual Conference, Guiyang, Guizhou, China, 2018. [Slides]

    Symbolic Integration: A Brief Introduction. Seminar at the School of Mathematics, Liaoning Normal University, Dalian, China, 2018. [Slides]

    D-finite Generating Functions in Enumerative Combinatorics. Chinese Congress on Combinatorics and Graph Theory 2018, Hefei, China, 2018. [Slides]

    Rationality Theorems on D-finite Power Series. Seminar at the School of Mathematical Sciences, East China Normal University, Shanghai, China, 2018. [Slides]

    Reduction-based Algorithms for Creative Telescoping. Joint International Meeting of CMS-AMS, Shanghai, China, 2018. [Slides]

    D-finite Functions: Algorithmic, Analytic and Arithmetic Aspects. Computer Mathematics 2017, Xiangtan, China, 2017. [Slides]

    Power Series with Coefficients from a Finite Set. Lattice walks at the Interface of Algebra, Analysis and Combinatorics (2017), Banff, Canada, 2017. [Slides]

    Creative Telescoping: Theory and Algorithms. MITACS Seminar Series/ORCCA Joint Lab Meeting, Western University, Canada, 2016. [Slides]

Research Notes (unpublished):

    A Note on Lipshitz's Lemma 3.
    with Ziming Li, 2011: [PDF].

    A Note on Ostrogradsky and Horowitz's Method.
    with Ziming Li, 2010: [PDF].

    A Exercise on Real Elementary Functions in the Book "Symbolic Integration I" (second edition) .
    with Ruyong Feng, Ziming Li, Huaifu Wang, 2008: [PDF].

Teaching:

    Linear Algebra (2014-2015) at University of Chinese Academy of Sciences.
    Linear Algebra (2016-2017) at University of Chinese Academy of Sciences.
    Abstract Algebra II (2019-2020) at Beihang University.

Seminar and Conferences:

    Computer Mathematics Seminar
    Workshop on Combinatorics and Symbolic Computation

Created: July 17, 2012.
Last modified: February 20, 2020.