-
linear algebra, numerical methods for PDEs and dynamical systems, stochastic methods in statistical mechanics, hydrodynamic limits, interacting many-body systems, quantum macroscopic evolution equations
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions