学术活动

位置: 网站首页 > 学术活动 > 正文

数信学院学术报告:数学形式化简介

作者:     编辑:科研院     来源:   发表于: 2023-11-10 17:09  点击:
学术活动日期 2023 年 11 月 12 日 (周日) 时间 8: 00-9: 00
主讲人 文再文,北京大学北京国际数学研究中心,教授 地址 数信学院二楼学术厅 220


编辑:科研院

上一条:土木建筑工程学院学术报告:Sustainable Civil Engineering Materials and Problems

下一条:数信学院学术报告:Newton method for nonconvex fusion regularized clustering