BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Some practical problems in formalising mathematics and how to solv
 e them - Dr Manuel Eberl (University of Innsbruck)
DTSTART:20230209T170000Z
DTEND:20230209T180000Z
UID:TALK193211@talks.cam.ac.uk
CONTACT:Angeliki Koutsoukou-Argyraki
DESCRIPTION:In this talk\, I give a very high-level overview about some re
 cent work concerning the formalisation of mathematics in the interactive t
 heorem prover Isabelle/HOL. I start with a very brief look at what Isabell
 e/HOL is and what formalised mathematics looks like. Then I show two parti
 cular problems that I encountered and how I solved them\, namely asymptoti
 c estimates of real-valued functions and complicated integration contours 
 arising in Analytic Number Theory.\n\n\nWATCH ONLINE HERE: https://www.mic
 rosoft.com/en-gb/microsoft-teams/join-a-meeting?rtc=1 Meeting ID: 379 992 
 884 209 Passcode: TYR8 Sh
LOCATION:  Centre for Mathematical Sciences MR12\, CMS
END:VEVENT
END:VCALENDAR