Anne Baanen

Available identifiers

zbMath Open baanen.anneMaRDI QIDQ2102927

List of research outcomes

Publication	Date of Publication	Type
Use and abuse of instance parameters in the Lean mathematical library	2024-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q6157246	2023-06-20	Paper
A formalization of Dedekind domains and class groups of global fields	2022-12-12	Paper
A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper)	2022-11-09	Paper
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves	2022-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q5020618	2022-01-06	Paper
A formalization of Dedekind domains and class groups of global fields	2021-02-04	Paper

Research outcomes over time

This page was built for person: Anne Baanen