
Shaoshi Chen 陈绍示
[CV]
Associate Professor
East Road 55, Zhongguancun, 100190, Beijing.
Email: schenATamss.ac.cn

Research Interests:
 Symbolic Computation
 Differential and Difference Algebra
 Combinatorics (WilfZeilberger Method)
 Arithmetic Theory of Power Series (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.
Professional Activities:
Academic Positions
Member AtLarge of the
[ISSAC Steering Committee] (July 2019  July 2022)
Secretary of [ACM SIGSAM] (July 2021  June 2023)
中国数学会计算机数学专业委员会秘书长(
Secretary of [Chinese Society of Computer Mathematics] ) (June 2021  June 2025)
Editorial Boards
ACM Communications in Computer Algebra [Journal Homepage] (Since 2014)
Annals of Combinatorics [Journal Homepage] (Since 2019)
系统科学与数学 (Journal of Systems Science and Mathematical Sciences Chinese Series) [Journal Homepage] (Since 2019)
Journal of Systems Science and Complexity [Journal Homepage] (Since 2020)
Maple Transactions (An openaccess online journal) [Journal Homepage] (Since 2021)
Preprints:
 Shift Equivalence Testing of Polynomials and Symbolic Summation of Multivariate Rational Functions, 2022.
with Lixin Du and Hanqian Fang:
[PDF]
[Maple package]
 Stability Problems in Symbolic Integration, 2022. :
[PDF]
 Telescopers for Differential Forms with One Parameter, 2021.
with
Ruyong Feng, Ziming Li, Michael F. Singer, Stephen M. Watt:
[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
PhD Students:
Xiuyun Li (2021/092026/07)
Yisen Wang (2021/092026/07)
Pingchuan Ma (2019/092024/07)
Lixin Du (2017/092022/07)
Chaochao Zhu (2016/092021/07, now at West Anhui University)
Postdocs:
Tianlong Yu (2021/092023/08)
Talks:
 Separability Problems in Creative Telescoping. ISSAC2021, Saint Petersburg, Russia, July 20, 2021.
[Slides]
[Paper]
 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.
 Abstract Algebra II (20212021) at Beihang University.
Seminar and Conferences:
 Computer Mathematics Seminar
 ACA 2022 Special Session: Dfinite Functions and Beyond: Algorithms, Combinatorics, and Arithmetic
 Workshop on Combinatorics and Symbolic Computation
Extreme Meter