BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Chris Birkbeck (University College London)
DTSTART:20220420T180000Z
DTEND:20220420T190000Z
DTSTAMP:20260423T035734Z
UID:LATeN/71
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LATeN/71/">F
 ormalizando formas modulares</a>\nby Chris Birkbeck (University College Lo
 ndon) as part of Coloquio Latinoamericano de Teoría de Números\n\n\nAbst
 ract\nEn esta charla discutiré trabajo reciente relacionado a la  formali
 zación de las  formas modulares en Lean. Este es un lenguaje que permite 
 la demostración de teoremas de manera interactiva. Recientemente esta ár
 ea  ha recibido una gran cantidad de interés por parte de matemáticos y 
 científicos computacionales que buscan crear un biblioteca digital de las
  matemáticas. En la charla explicaré que es Lean y demostrare como se fo
 rmalizan las definiciones básicas de las formas modulares y series de Eis
 enstein en Lean.\n
LOCATION:https://researchseminars.org/talk/LATeN/71/
END:VEVENT
END:VCALENDAR