Date:
Thursday, 25 April, 2024 - 17:00 to 18:00
Speaker:
Mohammad Abdulaziz (King's College London)
Venue:
Live-streamed at MR14 Centre for Mathematical Sciences
Combinatorial optimisation is a central area in computer
science, applied mathematics, and operational research. Ideas and notions developed within the area of combinatorial optimisation include linear programming, flows, and matchings. In this talk I will describe
the formalisation, in Isabelle/HOL, of some results from the theory of combinatorial optimisation, mainly focusing on the theory of matching. I will briefly discuss mathematically interesting findings and also
formalisation/methodological findings.
---
WATCH ONLINE HERE : https://www.microsoft.com/en-gb/microsoft-teams/join-a-meeting?rtc=1 Meeting ID: 370 771 279 261 Passcode: iCo7a5
Online
Seminar series:
Formalisation of mathematics with interactive theorem provers
