YouTube17 Feb 2023
38m

Maria Ines de Frutos Fernandez - Formalizing Norm Extensions and Applications to Number Theory

Podcast cover

Institute for Pure & Applied Mathematics (IPAM)

Open in Podwise to generate AI notes

Sign in to process this episode and unlock summaries, transcripts, highlights and translations.

Open in Podwise

Shownotes are not generated by Podwise.

Maria Ines de Frutos Fernandez - Formalizing Norm Extensions and Applications to Number Theory