Pages that link to "Item:Q2102929"
From MaRDI portal
The following pages link to A formalization of Dedekind domains and class groups of global fields (Q2102929):
Displaying 4 items.
- A Uniform Proof of the Finiteness of the Class Group of a Global Field (Q4964193) (← links)
- Mathematics and the formal turn (Q6130523) (← links)
- A formalization of Dedekind domains and class groups of global fields (Q6359836) (← links)
- A formalization of all notions in the statement of a theorem by Deligne (Q6648157) (← links)