Operations Research
-
2024
Mar 26
-
主讲人 : Chao Ding(CAS)
-
2024
Jan 30
-
The Development of Lean and the Type Theoretic Foundation of Theorem Provers
主讲人 : Minchao Wu (University of Tokyo)
-
2024
Jan 05
-
On The Global Convergence of Randomized Coordinate Gradient Descent for Non-Convex Optimization
主讲人 : Zi'ang Chen(MIT)
学术研究
- 会议
- 短期课程
- 综合报告
- 讨论班
- Algebra
- Analysis Research Interaction Team
- Algebraic Geometry
- Applied & Computational Math
- Bio-Math Seminar
- Computational Method
- Dynamical Systems
- Eastern Hemisphere Colloquium on Geometry and Physics
- Geometric Analysis
- Mathematical Imaging Science
- Number Theory
- Operations Research
- PDE/Analysis
- Postdoc Seminar
- Probability and Stochastic Process
- Representation Theory and Quantum Math
- Symplectic Geometry and Mathematical Physics
- Topology
- Others
- 访问项目
- 特别学术活动