|
Shaoshi Chen 陈绍示
[CV]
Associate Professor
East Road 55, Zhongguancun, 100190, Beijing.
Email: schenATamss.ac.cn
|
Research Interests:
- Symbolic Computation
- Differential and Difference Algebra
- Combinatorics (Wilf-Zeilberger 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, 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.
Professional Activities:
Academic Positions
Member At-Large 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 open-access 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
Qing-hu Hou, Hui Huang, George Labahn, and Rong-hua Wang:
[PDF]
Published Papers: publist
PhD Students:
Xiuyun Li (2021/09-2026/07)
Yisen Wang (2021/09-2026/07)
Pingchuan Ma (2019/09-2024/07)
Lixin Du (2017/09-2022/07)
Chaochao Zhu (2016/09-2021/07, now at West Anhui University)
Postdocs:
Tianlong Yu (2021/09-2023/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 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.
- Abstract Algebra II (2021-2021) at Beihang University.
Seminar and Conferences:
- Computer Mathematics Seminar
- ACA 2022 Special Session: D-finite Functions and Beyond: Algorithms, Combinatorics, and Arithmetic
- Workshop on Combinatorics and Symbolic Computation
Extreme Meter