2024 Fall

12/12, Yuyang Zhang

Ham Sandwich theorem for beginner.

12/5, Zhichao Wang

About the Continued Fraction

11/12, Jinghua Xi

The Classification of 1-dim Borel Ring.

10/12, Shenguanlin Lin

Introduction to Spectral Sequence

9/21, Yiming Fu

Lean and Formal Proof

2024 Spring

6/6, Qiyang Gao

Jordan Normal Form

5/19, Zetu Chen

p-adic Weak Approximation Theorem

5/16, Zijie Wen

Banach-Tarski Paradox

5/15 Jinghua Xi