Filippo A. E. Nuccio | DeepAI

AI Chat AI Image Generator AI Video Text to Speech

Featured Co-authors

Anne Baanen
4 publications
Sander R. Dahmen
3 publications
Ashvni Narayanan
3 publications

research

∙ 02/04/2021

A formalization of Dedekind domains and class groups of global fields

Dedekind domains and their class groups are notions in commutative algeb...

0 Anne Baanen, et al. ∙