María Inés de Frutos-Fernández

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Linearly Ordered

Computational Effort

Top Venues

Publications

María Inés de Frutos-Fernández, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio
A Formalization of Complete Discrete Valuation Rings and Local Fields. CPP (2024)
María Inés de Frutos-Fernández
Formalizing Norm Extensions and Applications to Number Theory. CoRR (2023)
María Inés de Frutos-Fernández
Formalizing Norm Extensions and Applications to Number Theory. ITP (2023)
María Inés de Frutos-Fernández, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio
A Formalization of Complete Discrete Valuation Rings and Local Fields. CoRR (2023)
María Inés de Frutos-Fernández
Formalizing the Ring of Adèles of a Global Field. ITP (2022)
María Inés de Frutos-Fernández
Formalizing the Ring of Adèles of a Global Field. CoRR (2022)