Rigorous estimation of the speed of convergence to equilibrium
Presenter
April 7, 2016
Keywords:
- Computer assisted proof
- Diffusion coefficient
- Convergence to equilibrium