Sander R. Dahmen

11 papers B 4Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2025 B conf
Certifying Rings of Integers in Number Fields.
CPP
Anne Baanen, Alain Chavarri Villarello, Sander R. Dahmen
2024 J jnl
Certifying rings of integers in number fields.
CoRR
Anne Baanen, Alain Chavarri Villarello, Sander R. Dahmen
2023 B conf
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves.
CPP
Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen
2023 — conf
Recurrence-Driven Summations in Automated Deduction.
FroCoS
Visa Nummelin, Jasmin Blanchette, Sander R. Dahmen
2022 J jnl
A Formalization of Dedekind Domains and Class Groups of Global Fields.
J. Autom. Reason.
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio
2022 J jnl
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves.
CoRR
Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen
2021 B conf
A Formalization of Dedekind Domains and Class Groups of Global Fields.
ITP
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio
2021 J jnl
A formalization of Dedekind domains and class groups of global fields.
CoRR
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio
2019 B conf
Formalizing the Solution to the Cap Set Problem.
ITP
Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis
2019 J jnl
Formalizing the Solution to the Cap Set Problem.
CoRR
Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis
2010 — conf
Visualizing Elements of Sha[3] in Genus 2 Jacobians.
ANTS
Nils Bruin, Sander R. Dahmen