∞
π Σ ∫ ∂ Δ √
Δ
 
 

中心活动

中心活动

当前位置

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 马楚鹏（大湾区大学）

Partial-duals for plane hypermaps

2026-08-21 11:00:00 海韵园行政楼C610 颜棋（兰州大学）

A cubic refinement of Jackson's Chvátal--Erdős condition for Hamilton cycles in digraphs

2026-08-21 10:00:00 海韵园行政楼C610 艾江东（南开大学）

Stability of viscous shock waves for Burgers equation with double singularities in viscosity and flux

2026-08-07 15:00:00 海韵园行政楼C610 梅茗（江西师范大学）

Stabilization Mechanisms in Magnetohydrodynamics with Partial Dissipation

2026-08-06 15:30:00 海韵园行政楼C610 吴家宏（美国圣母大学）
首页上页12345...175下页尾页