skip to content

Department of Pure Mathematics and Mathematical Statistics

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

Further information

Time:

25Apr
Apr 25th 2024
17:00 to 18:00

Venue:

Live-streamed at MR14 Centre for Mathematical Sciences

Speaker:

Mohammad Abdulaziz (King's College London)

Series:

Formalisation of mathematics with interactive theorem provers