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

According to our database¹, María Inés de Frutos-Fernández authored at least 3 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

A Formalization of Complete Discrete Valuation Rings and Local Fields.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

Formalizing Norm Extensions and Applications to Number Theory.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Formalizing the Ring of Adèles of a Global Field.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022