Publications

2025

  1. arXiv
    A Formalization of Divided Powers in Lean
    Antoine Chambert-Loir and María Inés de Frutos-Fernández
    2025
    Accepted to 16th International Conference on Interactive Theorem Proving (ITP ’25), 2025, Reykjavik, Iceland

2024

  1. CPP
    A Formalization of Complete Discrete Valuation Rings and Local Fields
    María Inés de Frutos-Fernández and Filippo A. E. Nuccio Mortarino Majno di Capriglio
    In Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, , London, UK, , 2024

2023

  1. LIPIcs
    Formalizing Norm Extensions and Applications to Number Theory
    María Inés de Frutos-Fernández
    In 14th International Conference on Interactive Theorem Proving (ITP 2023), 2023
  2. arXiv
    The refined class number formula for Drinfeld modules
    María Inés de Frutos-Fernández, Daniel Macías Castillo, and Daniel Martínez Marqués
    2023
    Preprint

2022

  1. JTNB
    Moduli Spaces of Shtukas over the Projective Line
    María Inés de Frutos-Fernández
    Journal de théorie des nombres de Bordeaux, 2022
  2. LIPIcs
    Formalizing the Ring of Adèles of a Global Field
    María Inés de Frutos-Fernández
    In 13th International Conference on Interactive Theorem Proving (ITP 2022), 2022

2021

  1. SISY
    Computing Rational Points on Rank 0 Genus 3 Hyperelliptic Curves
    María Inés de Frutos-Fernández and Sachi Hashimoto
    In Arithmetic Geometry, Number Theory, and Computation, 2021
  2. arXiv
    Rational linear subspaces of hypersurfaces over finite fields
    María Inés de Frutos-Fernández, Sumita Garai, Kelly Isham, and 2 more authors
    2021
    Preprint

2020

  1. Thesis
    Modularity of Elliptic Curves Defined over Function Fields (PhD Thesis)
    María Inés de Frutos-Fernández
    ProQuest Dissertations and Theses, 2020

2014

  1. Thesis
    El problema del logaritmo discreto para curvas elípticas y sus aplicaciones criptográficas
    María Inés de Frutos-Fernández
    2014
    Trabajo de Fin de Grado/Senior Thesis

Other Writing

2014

2014

  1. Thesis
    El problema del logaritmo discreto para curvas elípticas y sus aplicaciones criptográficas
    María Inés de Frutos-Fernández
    2014
    Trabajo de Fin de Grado/Senior Thesis