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 : Meeting ID: 370 771 279 261 Passcode: iCo7a5

Further information


Apr 25th 2024
17:00 to 18:00


Live-streamed at MR14 Centre for Mathematical Sciences


Mohammad Abdulaziz (King's College London)


Formalisation of mathematics with interactive theorem provers