Visualizing Elements of Sha[3] in Genus 2 Jacobians. - Nils Bruin; Sander R. Dahmen (ANTS, 2010)

Formalizing the Solution to the Cap Set Problem. - Sander R. Dahmen; Johannes Hölzl; Robert Y. Lewis (ITP, 2019)

A formalization of Dedekind domains and class groups of global fields. - Anne Baanen; Sander R. Dahmen; Ashvni Narayanan; Filippo A. E. Nuccio (CoRR, 2021)

A Formalization of Dedekind Domains and Class Groups of Global Fields. - Anne Baanen; Sander R. Dahmen; Ashvni Narayanan; Filippo A. E. Nuccio Mortarino Majno di Capriglio (J. Autom. Reason., 2022)

Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves. - Anne Baanen; Alex J. Best; Nirvana Coppola; Sander R. Dahmen (CPP, 2023)

Recurrence-Driven Summations in Automated Deduction. - Visa Nummelin; Jasmin Blanchette; Sander R. Dahmen (FroCoS, 2023)

Certifying Rings of Integers in Number Fields. - Anne Baanen; Alain Chavarri Villarello; Sander R. Dahmen (CPP, 2025)