
Shaoshi Chen 陈绍示
Associate Professor
East Road 55, Zhongguancun, 100190, Beijing.
Email: schenATamss.ac.cn
Tel: +86 10 82541399
Fax: +86 10 82541809

News:
Preview of my student Lixin Du's ISSAC talk “Integral Bases for PRecursive Sequences”
[Paper]
: watch the
slides and prerecorded
video ,then see you on Monday, July 20, 2020, during the online
session for questions and discussions!
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.
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, Sunits, and Dfinite Power Series, 2020.
with
Jason P. Bell and Ehsaan Hossain:
[PDF]
 On the Existence of Telescopers for Rational
Functions in Three Variables, 2020.
with
Lixin Du, Ronghua Wang and Chaochao Zhu:
[PDF]
 Constructing minimal telescopers for rational functions
in three discrete variables, 2019.
with
Qinghu Hou, Hui Huang, George Labahn, and Ronghua 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 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.
 Abstract Algebra II (20192020)
at Beihang University.
Seminar and Conferences:
 Computer Mathematics Seminar
 Workshop on Combinatorics and Symbolic Computation
Extreme Meter