Nuccio, Filippo A. E.

1. A formalization of Dedekind domains and class groups of global fields
   2021/02/04 by Baanen, Anne, Dahmen, Sander R., Narayanan, Ashvni +1 · 2 citations
   #11R29 #68V15 #68V20 #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Number Theory (math.NT)
2. Residual supersingular Iwasawa theory and signed Iwasawa invariants
   2019/11/25 by Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio, Nuccio, Filippo A. E., R. Sujatha +1 · 1 citation
   Computer Science · Mathematics · #11G05 #11R23 #Advanced Algebra and Geometry #Algebraic Geometry and Number Theory #Cryptography and Residue Arithmetic #FOS: Mathematics #Number Theory (math.NT)