讨论班

2024

Jan 30

Operations Research

The Development of Lean and the Type Theoretic Foundation of Theorem Provers

主讲人 : Minchao Wu (University of Tokyo)

2024

Jan 30

Analysis Research Interaction Team

On the Incompressible Navier-Stokes Equations and the Malliavin Calculus on $G={\rm SDiff}(M)$

主讲人 : Xiang-Dong Li(AMSS-CAS)

2024

Jan 24

Dynamical Systems

Dynamics of Covering Correspondences

主讲人 : Vanessa Matus de la Parra (University of Rochester)

2024

Jan 24

Dynamical Systems

A Family of Meromorphic Functions: Ergodic or Non-ergodic

主讲人 : Tao Chen(City University of New York)

2024

Jan 23

Analysis Research Interaction Team

Quantitative Relative Entropy Estimates on the Whole Space for Convolution Interaction Forces

主讲人 : Paul Nikolaev (University of Mannheim)

2024

Jan 23

Number Theory

Formalization of p-adic L- functions in Lean, and auto formalization as a mathematical tool

主讲人 : Ashvni Narayanan(University of Sydney)

2024

Jan 17

Number Theory

Hecke orbits on Shimura varieties of Hodge type

主讲人 : Pol van Hoften(VU Amsterdam)

2024

Jan 10

Number Theory

An Introduction to the Theory of Kimberlites

主讲人 : Ian Gleason (University of Bonn)

2024

Jan 09

Number Theory

Local GGP Conjecture for Symplectic Groups

主讲人 : Zhe Li(Fudan University)

2024

Jan 09

Others

Causal inference in network experiments: regression-based analysis and design-based properties

主讲人 : Peng Ding( UC Berkeley)