molecular dynamics simulations in Lean

Published 2023-06-19T13:10:00.001Z by Physics Derivation Graph

Working from textbooks like those from Berend Smit's Understanding Molecular Simulation and Allan and Tildesley’s textbook. The textbook you linked to also seems to cover the basics all right. For the dynamics, we will need to