Formalizando formas modulares

Chris Birkbeck (University College London)

20-Apr-2022, 18:00-19:00 (23 months ago)

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


Seminario Latinoamericano de Teoría de Números

Series comments: El objetivo de este seminario es fomentar el desarrollo de la teoría de números en latinoamérica, y sus colaboraciones, por medio de exposiciónes 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 (con especial énfasis en temas relacionados a curvas elípticas, formas modulares, representaciones de Galois, funciones L, y afines).

Videos y presentaciones de las charlas pasadas están disponibles en www.cmat.edu.uy/~tornaria/LATeN/

Organizers: Daniel Barrera*, Matilde Lalin*, Nicolás Sirolli*, Gonzalo Tornaría*
*contact for this listing

Export talk to