Sander R. Dahmen

According to our database, Sander R. Dahmen authored at least 6 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Recurrence-Driven Summations in Automated Deduction.

Visa Nummelin, Jasmin Blanchette, Sander R. Dahmen

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023

Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves.

Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

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

2021

A formalization of Dedekind domains and class groups of global fields.

Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio

CoRR, 2021

2019

Formalizing the Solution to the Cap Set Problem.

Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2010

Visualizing Elements of Sha[3] in Genus 2 Jacobians.

Nils Bruin, Sander R. Dahmen

Proceedings of the Algorithmic Number Theory, 9th International Symposium, 2010