Filippo A. E. Nuccio Mortarino Majno di Capriglio

According to our database, Filippo A. E. Nuccio Mortarino Majno di Capriglio authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Categorical Foundations of Formalized Condensed Mathematics.

Dagur Asgeirsson, Riccardo Brasca, Nikolas Kuhn, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio, Adam Topaz

CoRR, 2024

A Formalization of Complete Discrete Valuation Rings and Local Fields.

María Inés de Frutos-Fernández, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio

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

2023

Corps de classes, formes modulaires, et formalisation.

Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio

, 2023

2021

A Formalization of Dedekind Domains and Class Groups of Global Fields.

Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021