Team members:
Chen Shaoshi, Professor at Academy of Mathematics and Systems Science, Chinese Academy of Sciences
Li Ziming, Professor at Academy of Mathematics and Systems Science, Chinese Academy of Sciences
Frederic Chyzak, Professor at INRIA in France
Alin Bostan, Professor at INRIA in France
Pierre Lairez, Associate Professor at INRIA in France
Joris van der Hoeven, Professor at École Polytechnique in France
Gleb Pogudin, Assistant Professor at École Polytechnique in France
Achievement evaluation:
In long-term cooperation, by developing reduction theory and algorithms, the fourth generation algorithm for combinatorial identity machine proof was proposed, which was praised by renowned mathematician Professor Zeilberger as "long-awaited".
File Download：