Sander R. Dahmen

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 8

Top Topics

Automated Deduction

Solution Exists

Top Venues

Publications

Visa Nummelin, Jasmin Blanchette, Sander R. Dahmen
Recurrence-Driven Summations in Automated Deduction. FroCoS (2023)
Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves. CPP (2023)
Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves. CoRR (2022)
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio
A Formalization of Dedekind Domains and Class Groups of Global Fields. J. Autom. Reason. 66 (4) (2022)
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio
A formalization of Dedekind domains and class groups of global fields. CoRR (2021)
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio
A Formalization of Dedekind Domains and Class Groups of Global Fields. ITP (2021)
Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis
Formalizing the Solution to the Cap Set Problem. ITP (2019)
Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis
Formalizing the Solution to the Cap Set Problem. CoRR (2019)
Nils Bruin, Sander R. Dahmen
Visualizing Elements of Sha[3] in Genus 2 Jacobians. ANTS (2010)