BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Formalizing the change of variables formula for integrals in mathl
 ib - Professor Sébastien Gouëzel (Université de Rennes)
DTSTART:20230615T160000Z
DTEND:20230615T170000Z
UID:TALK196756@talks.cam.ac.uk
CONTACT:Angeliki Koutsoukou-Argyraki
DESCRIPTION:We report on a formalization of the change of variables formul
 a in integrals\, in the mathlib library for Lean. Our version of this theo
 rem is\nextremely general\, and builds on developments in linear algebra\,
  analysis\,\nmeasure theory and descriptive set theory. This is made possi
 ble by the\nhighly integrated development model of mathlib.\n\nWATCH ONLIN
 E HERE : https://www.microsoft.com/en-gb/microsoft-teams/join-a-meeting?rt
 c=1 Meeting ID: 379 992 884 209 Passcode: TYR8 Sh
LOCATION:MR20 Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR