Lagrangian Mechanics in Isabelle/HOL

Date: 28th January 2022
Time: 00:00 - 00:00
Location: Hybrid Meeting (G.03)

Title: Lagrangian Mechanics in Isabelle/HOL
Speaker: Dawson Silkenat

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.