University of Cambridge > Talks.cam > Formalisation of mathematics with interactive theorem provers > Using interactive theorem provers in physics

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Using interactive theorem provers in physics

Download to your calendar using vCal

If you have a question about this talk, please contact Anand Rao Tadipatri .

PhysLean is a project to create a monolithic library of results from physics in Lean 4, akin to Mathlib for mathematics. It contains results from a range of different areas of physics including classical mechanics, relativity, condensed matter physics, quantum field theory, string theory etc. In this talk I will give a high-level overview of the current content of PhysLean and explain how formalizing results from physics, for physicists, differs to from formalizing results from mathematics, for mathematicians, and what features we have put in place to make this as an efficient and open process as possible.

This talk is aimed at those familiar with interactive theorem provers, I am giving a talk on the Friday aimed at physicists.

=== Hybrid talk ===

Join Zoom Meeting https://cam-ac-uk.zoom.us/j/89856091954?pwd=Bba77QB2KuTideTlH6PjAmbXLO8HbY.1

Meeting ID: 898 5609 1954 Passcode: ITPtalk

This talk is part of the Formalisation of mathematics with interactive theorem provers series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Average on Sundays: 7259.40082645 kWh FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon Zoom: https://zoom.us/j/834693107 Meeting ID: 834 693 107

Other talks

Title TBC Not-so-noble gases, key tracers of Earth’s habitability: what their behaviour in planetary interiors can tell us? The Gardens of the Western Cape Psychiatry and Pain Medicine The Importance of Teaching about Science and Religion in a Time of Global Uncertainty Title to be confirmed
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity