English 
June 6, 2026, Professor Bin Dong from Peking University, was invited to give a talk
Posted on2026-06-03 by
June 6, 2026, Professor Bin Dong from Peking University, was invited to give a talk. The title is "AI for Mathematics: From Mathematical Digitization to Automated Reasoning". For more information, see the poster.
Center for Applied Mathematics, Tianjin University, No.92 Weijin Road, Tianjin 300072, P. R. China