综合报告
2023

May 09

综合报告

[Distinguished Lecture] Nilpotent Structures in Dynamical Systems and Applications

主讲人 : 叶向东(中国科学技术大学)

2023

May 08

综合报告

[Distinguished Lecture] Global Smooth Axisymmetric Euler Flows with Rotation

主讲人 : 郭岩(布朗大学)

2023

Apr 25

综合报告

过参数化神经网络的泛化能力

主讲人 : 林乾(清华大学)

2023

Apr 25

综合报告

[Distinguished Lecture] Kleinian Groups in Several Complex Variables

主讲人 : José A. Seade (Mexican Academy of Sciences)

2023

Apr 18

综合报告

[Distinguished Lecture] Quantum Computation of Partial Differential Equations

主讲人 : 金石(上海交通大学)

2023

Apr 18

综合报告

Introduction to the Lean Theorem Prover

主讲人 : Johan M. Commelin (University of Freiburg)

2023

Apr 12

综合报告

AI for Mathematics之大语言模型在定理证明与数学形式化上的一些实践

主讲人 : 刘征瀛 (华为诺亚方舟实验室)

2023

Apr 11

综合报告

Recent Progress in Topology Optimization

主讲人 : 王筱平(香港科技大学 & 香港中文大学-深圳)

2023

Apr 04

综合报告

Approximate Controllability of PDEs: A Review of Recent Developments

主讲人 : Vahagn Nersesyan (New York University Shanghai)

2023

Mar 22

综合报告

Math Modeling Assisted by Large Language Models

主讲人 : 印卧涛(阿里巴巴达摩院),林方全(阿里巴巴达摩院)

文档