
Shaoshi Chen ³ΒΙάΚΎ
Associate Professor
East Road 55, Zhongguancun, 100190, Beijing.
Email: schenATamss.ac.cn
Tel: +86 10 82541399
Fax: +86 10 82541809

Research Interests:
 Symbolic Computation
 Differential and Difference Algebra
 Combinatorics (WilfZeilberger 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, codirected between
Academy of Mathematics and Systems Science (Beijing, China) and
École Polytechnique (Paris, France).
Cosupervisors: Frédéric Chyzak (INRIA, France)
and Ziming Li (AMSS, China).
Dissertation:
Some Applications of DifferentialDifference 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, FieldsOntario 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, PostDoctoral Fellow, Department of Mathematics, North Carolina State University, Raleigh, USA.
Working with Michael F. Singer.
 2011/02  2011/08, PostDoctoral Fellow, Research Institute for Symbolic Computation,
Johannes Kepler University Linz, Hagenberg, Austria.
Working with Manuel Kauers.
Preprints:
 Constructing minimal telescopers for rational functions
in three discrete variables, 2019.
with
Qinghu Hou, Hui Huang, George Labahn, and Ronghua Wang:
[PDF]
 Existence Problem of Telescopers for Rational Functions in Three Variables: the Mixed Cases, 2019.
with
Lixin Du,Chaochao Zhu:
[PDF]
To appear in Proceedings of ISSAC2019.
 A Reduction Approach to Creative Telescoping, 2019.
:
[PDF]
Extended Abstract of ISSAC2019 Tutorial Lectures.
Published Papers: publist
Talks:
 How to generate all possible WZpairs 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]
 Dfinite Generating Functions in Enumerative Combinatorics. Chinese Congress on Combinatorics and Graph Theory 2018, Hefei, China, 2018. [Slides]
 Rationality Theorems on Dfinite Power Series. Seminar at the School of
Mathematical Sciences, East China Normal University, Shanghai, China, 2018. [Slides]
 Reductionbased Algorithms for Creative Telescoping. Joint International Meeting of CMSAMS, Shanghai, China, 2018. [Slides]
 Dfinite 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 (20142015)
at University of Chinese Academy of Sciences.
 Linear Algebra (20162017)
at University of Chinese Academy of Sciences.
Seminar and Conferences:
 Computer Mathematics Seminar
 Workshop on Combinatorics and Symbolic Computation
Extreme Meter