Formalizando formas modulares

Abstract: En esta charla discutiré trabajo reciente relacionado a la formalización de las formas modulares en Lean. Este es un lenguaje que permite la demostración de teoremas de manera interactiva. Recientemente esta área 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 formalizan las definiciones básicas de las formas modulares y series de Eisenstein en Lean.

Spanishnumber theory

Audience: researchers in the topic

Coloquio Latinoamericano de Teoría de Números

Series comments: El objetivo de este coloquio es fomentar el desarrollo de la teoría de números en latinoamérica, y sus colaboraciones, por medio de exposiciones de trabajos de investigación a cargo de personas pertenecientes a distintos centros de investigación, con intereses comunes en teoría de números y áreas afines.

La presentación estará seguida por un "café virtual" al que están invitados todos los participantes.