Research output per year
Research output per year
Personal profile
Ancillary activities
- Boswell-Bèta | Utrecht | extern lid examencommissie | 2021-03-01 - present
Ancillary activities are updated daily
Fingerprint
Dive into the research topics where Sander Dahmen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves
Baanen, A., Best, A. J., Coppola, N. & Dahmen, S. R., Jan 2023, CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). Association for Computing Machinery, Inc, p. 47-62 16 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
-
A Formalization of Dedekind Domains and Class Groups of Global Fields
Baanen, A., Dahmen, S. R., Narayanan, A. & Nuccio Mortarino Majno di Capriglio, F. A. E., Nov 2022, In: Journal of Automated Reasoning. 66, 4, p. 611-637 27 p.Research output: Contribution to Journal › Article › Academic › peer-review
Open Access -
A formalization of Dedekind domains and class groups of global fields
Baanen, A., Dahmen, S. R., Narayanan, A. & Di Capriglio, F. A. E. N. M. M., 2021, 12th International Conference on Interactive Theorem Proving (ITP 2021). Cohen, L. & Kaliszyk, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-19 19 p. 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 193).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open Access -
Formalizing the solution to the cap set problem
Dahmen, S. R., Hölzl, J. & Lewis, R. Y., 2019, 10th International Conference on Interactive Theorem Proving (ITP 2019). Harrison, J., O'Leary, J. & Tolmach, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-19 19 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 141).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile1 Downloads (Pure) -
Andrew Wiles en de Abelprijs
Translated title of the contribution :Andrew Wiles and the Abel Prize Research output: Contribution to Journal › Review article › Professional
Courses
-
Formalizing Diophantine algorithms
Dahmen, S. & Chavarri Villarello, A.
1/05/22 → 1/09/26
Project: Research
-
New Diophantine Directions
van Langen, J., Dahmen, S., Putz, C., Coppola, N. & Best, A.
1/01/17 → 31/12/22
Project: Research
-