∞
π Σ ∫ ∂ Δ √
Δ
 
 

中心活动

中心活动

当前位置

Jantzen filtrations: AI-Assisted Mathematical Research Seminar Series

2026-09-16 14:00 Zoom ID: 841 3254 9527 (Password: 20260916) Dan Ciubotaru（英国牛津大学）

Models for elliptic surfaces with a bisection

2026-09-15 14:30:00 海韵园实验楼S306 Sönke Rollenske（德国Marburg大学）

Recent Developments in the Brown-Erdős-Sós Problem

2026-09-14 14:30:00 海韵园实验楼S306 黄欣祺（中国科学技术大学、韩国基础科学研究院）

The combinatorics of alternating sign matrices

2026-09-09 15:00:00 腾讯会议ID: 523-847-454 Roger Behrend（英国卡迪夫大学）

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 徐天一（北京国际数学研究中心）
首页上页12345...177下页尾页