Filippo A. E. Nuccio Mortarino Majno di Capriglio

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Similarity Measure

Global Information

Top Venues

J. Autom. Reason.

Publications

Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio
A Formalization of Dedekind Domains and Class Groups of Global Fields. J. Autom. Reason. 66 (4) (2022)
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio
A Formalization of Dedekind Domains and Class Groups of Global Fields. ITP (2021)