∞
π Σ ∫ ∂ Δ √
Δ
 
 

Activities

Seminar

Universal and Simultaneous Fractal Transference for Subsets of N^d via Continued Fractions
September 19, 2026 Conference Room S106 at Experiment Building at Haiyun Campus Shuhao Zhang (University of Science and Technology of China)
Jantzen filtrations: AI-Assisted Mathematical Research Seminar Series
September 16, 2026 Zoom ID: 841 3254 9527 (Password: 20260916) Dan Ciubotaru (University of Oxford)
Models for elliptic surfaces with a bisection
September 15, 2026 Conference Room S306 at Experiment Building at Haiyun Campus Sönke Rollenske（University of Marburg）
Recent Developments in the Brown-Erdős-Sós Problem
September 14, 2026 Conference Room S306 at Experiment Building at Haiyun Campus Xinqi Huang (University of Science and Technology of China)
The combinatorics of alternating sign matrices
September 9, 2026 Zoom ID: 982-4902-7113（Password:454880） Roger Behrend (Cardiff University）
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)
FirstPrevious12345...103NextLast