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

Orcid: 0000-0002-5085-7446

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Formalizing Polynomial Laws and the Universal Divided Power Algebra.

[DOI]

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2025

A Formalization of Divided Powers in Lean.

[DOI]

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024

A Formalization of Complete Discrete Valuation Rings and Local Fields.

[DOI]

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

2023

Formalizing Norm Extensions and Applications to Number Theory.

[DOI]

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

2022

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

[DOI]

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