∞
π Σ ∫ ∂ Δ √
Δ
 
 

Activities

Lectures

c-function and Macdonald polynomials
September 8, 2026 Zoom ID: 840 4448 0463 (Password: 607991) Arun Ram (The University of Melbourne）
Comparison theorems in centro-affine differential geometry
September 8, 2026 Conference Room S105 at Experiment Building at Haiyun Campus Yasuaki Fujitani (University of Tokyo）
The Teichmuller Space of a 3-Dimensional Anosov Flow
September 7, 2026 Conference Room S208 at Experiment Building at Haiyun Campus Yi Shi (Sichuan University)
Designing Typeclasses in Mathlib: Abstraction, Inference, and Reuse
September 1, 2026 Conference Room S102 at Experiment Building at Haiyun Campus Yuyang Zhao (The Chinese University of Hong Kong, Shenzhen)
Type Theory and the Formalization of Mathematics: When Does Equality Compute?
September 1, 2026 Conference Room S102 at Experiment Building at Haiyun Campus Anjie Dong (The Chinese University of Hong Kong, Shenzhen)
Introduction to Lean
September 1, 2026 Conference Room S102 at Experiment Building at Haiyun Campus Tianyi Xu (Beijing International Center for Mathematical Research)
Restriction Estimates and Applications to Number Theory
September 1, 2026 Conference Room S106 at Experiment Building at Haiyun Campus Yuchen Sun (University of Bristol)
Using AI for Research: From Prompts to Research Infrastructure
August 25, 2026 Conference Room C610 at Administration Building at Haiyun Campus Shizhe Chen (University of California, Davis)
Multiscale model reduction based on locally optimal spectral approximations for heterogeneous wave equations
August 21, 2026 Conference Room C503 at Administration Building at Haiyun Campus Chupeng Ma (Great Bay University)
Partial-duals for plane hypermaps
August 21, 2026 Conference Room C610 at Administration Building at Haiyun Campus Qi Yan (Lanzhou University)
FirstPrevious12345...118NextLast