数学机械化重点实验室有2篇文章被2021年度国际符号和代数计算会议(ISSAC2021)接收
副标题:
1) Shaoshi Chen, Lixin Du, and Manuel Kauers. Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions.
2) Shaoshi Chen, Ruyong Feng, Pingchuan Ma and Michael F. Singer. Separability Problems in Creative Telescoping.