Filippo A. E. Nuccio Mortarino Majno di Capriglio

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

Collaborative distances:

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

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

2022

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

J. Autom. Reason., 2022