∞
π Σ ∫ ∂ Δ √
Δ
 
 

中心活动

学术报告

当前位置

c-function and Macdonald polynomials

2026-09-08 14:00:00 Zoom ID: 840 4448 0463 (密码: 607991) Arun Ram（澳大利亚墨尔本大学）

Comparison theorems in centro-affine differential geometry

2026-09-08 10:00:00 海韵园实验楼S105 Yasuaki Fujitani（日本东京大学）

The Teichmuller Space of a 3-Dimensional Anosov Flow

2026-09-07 16:00:00 海韵园实验楼S208 史逸（四川大学）

Designing Typeclasses in Mathlib: Abstraction, Inference, and Reuse

2026-09-01 16:00:00 海韵园实验楼S102 赵雨扬（香港中文大学（深圳））

Type Theory and the Formalization of Mathematics: When Does Equality Compute?

2026-09-01 15:00:00 海韵园实验楼S102 董安杰（香港中文大学（深圳））

Introduction to Lean

2026-09-01 14:00:00 海韵园实验楼S102 徐天一（北京国际数学研究中心）

Restriction Estimates and Applications to Number Theory

2026-09-01 10:30:00 海韵园实验楼S106 孙宇宸（University of Bristol）

AI 辅助数学科研和教学的一点实践分享

2026-08-31 10:00:00 海韵园实验楼S103 & 腾讯会议ID: 897-528-319 马家骏（厦门大学）

Using AI for Research: From Prompts to Research Infrastructure

2026-08-25 16:30:00 海韵园行政楼C610 陈施喆（University of California, Davis）

Multiscale model reduction based on locally optimal spectral approximations for heterogeneous wave equations

2026-08-21 10:30:00 海韵园行政楼C503 马楚鹏（大湾区大学）
首页上页12345...156下页尾页