Lagrangian Mechanics in Isabelle/HOL

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

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.