Filippo A. E. Nuccio

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Probabilistic Model

Image Processing

Top Venues

Publications

Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio
A formalization of Dedekind domains and class groups of global fields. CoRR (2021)