research
∙
09/30/2022
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves
Diophantine equations are a popular and active area of research in numbe...
share
research
∙
02/03/2022
Use and abuse of instance parameters in the Lean mathematical library
The Lean mathematical library mathlib features extensive use of the type...
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...
research
∙
05/01/2020