Modular Proofs of Gosper's Identities

Date:Nov 29, 2021
年份 2021 12
03

Speaker:  Wang Liuquan Wuhan University

Time:  2:30-3:30 p.m. on Friday, December 3, 2021

Venue:  Tencent conference No.: 958-870-667

Meeting link:https://meeting.tencent.com/dm/yOTIMTstAj7N

On a:Communication Protocol-based Networked Control Systems: Challenges and Advances

The next article:Mechanization of Mathematics - Wu Wenjun's Road

Shut down




© 2020 World-Class University Development Office