Title: Lagrangian Mechanics in Isabelle/HOL
Speaker: Dawson Silkenat
Abstract:
Mechanics is an incredibly important branch of physics which describes motion of and interaction between particles in a system. It is widely applied in engineering fields and has a large historic role in our understanding of how the universe works. In my project I seek to provide a framework for formally proving properties of a system using the Lagrangian formulation of mechanics and a proof assistant.